2.4.3 取消机制

Karttunen对预设投射的描写是纯描写性的，建立在对实例的概括基础上。Gazdar在Karttunen的基础上，设立了一个形式系统，一个复杂句的所有潜在预设（嵌在复杂句中的简单句的预设）都可以出现在这一系统中，但是某一个潜在预设要真正成为整句的预设，须经过作者设立一套取消机制（cancelling device）的检验。如果某一潜在预设没有被取消机制所取消，它就成为真正的预设；如果被取消机制取消，它就不能成为真正的预设。Gazdar的取消机制规定，句子的某一潜在预设被取消，当这一潜在预设存在以下任何一种情形：①与句子具体语境内容相冲突；②与句子话语内容相冲突；③与句子会话含义相冲突。例如：

<4>John doesn’t regret killing his mother，because he didn’t kill her.

例<4>的前一分句预设“John killed his mother”，但“John killed his mother”只是潜在预设，不能成为真正的预设，因为它与“he didn’t kill her”语义不一致，而被取消了。同理，例<5>也不会预设“Harry has a child”。

<5>Harry does not have a child，So Harry’s child cannot be on holiday.