G22.2590 - Natural Language Processing -- Spring 2003 -- Prof. Grishman
April 11, 2005
(Predicate calculus practice)
[1 point each]
Due April 25th.
- For at least some speakers, the sentence
Everyone noticed a cat.
is ambiguous. Formalize this ambiguity by expressing its two
in predicate calculus (without event reification).
- Formalize the different between the following two sentences
John read a book and Mary read it too.
John read a book and Mary read one too
by expressing their meanings in predicate calculus (without event
- Using predicate calculus with event reification, and
treating vegetarians and hamburgers
as sets of objects (to be quantified over), represent the meaning of
Vegetarians do not eat hamburgers.
- Express the following in idiomatic English
x) (rich(x) implies loves(George,
~(exists x) (forall y)