“一旦小玲写完了实验代码并且运行成功，她就不会延迟提交论文并且周一会给老师看。”以下表示正确的是：
选项：

A:finish(小玲，代码)∧work(代码) → delay_submit(小玲，论文) ∨ give(小玲，论文，teacher(小玲));
B:finish(小玲，代码)∧work(代码) ∧ ¬delay_submit(小玲，论文) ∧ give(小玲，论文，teacher(小玲));
C:finish(小玲，代码)∧ work(代码) ∧ ¬delay_submit(小玲，论文) ∧ give(论文，teacher(小玲));
D:finish(小玲，代码)∧ work(代码) → ¬delay_submit(小玲，论文) ∧ give(小玲，论文，teacher(小玲))