G22.2590 - Natural Language Processing -- Spring 2003 -- Prof. Grishman
March 13, 2003
(Predicate calculus practice)
Due April 3rd.
For at least some speakers, the sentence
Everyone saw a cat.
is ambiguous. Formalize this ambiguity by expressing its two readings
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 reification).
Using predicate calculus with event reification, and treating hamburgers
as a set of objects, represent the meaning of
Vegetarians do not eat hamburgers.
Express the following in idiomatic English
(" x) loves(Arthur,x)
(" x) (rich(x) Þ
~($ x) (" y)