finish(小玲，代码)∧work(代码)→¬delay_submit(小玲，论文)∧give(小玲，论文，teacher(小玲))