next up previous contents index
Next: 7.4 Existential Entailment II Up: 7 Relations Previous: 7.2 Number of arguments   Contents   Index

7.3 Existential entailment I

Our treatment of EAT makes a prediction about the entailments of sentences with the verb eat:

\text{John }\begin{array}[t]{@{}l} \text{eats} \Rightarrow\\
\text{John eats something}

Because we give both sentences the same translation:

John eats something & \exists x \mathrm...
...ists x \mathrm{\:\sc eat\:}(\mathrm{\:j\:},\:x) \\

This is called an existential entailment. An existential entailment is an entailment that something exists.

Jean Mark Gawron 2009-02-16