7.3 Existential entailment I

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

Because we give both sentences the same translation:

$$\begin{array}[t]{Ll} John eats something & \exists x \mathrm... ...ists x \mathrm{\:\sc eat\:}(\mathrm{\:j\:},\:x) \\ \end{array}$$

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