####
G22.2590 - Natural Language Processing -- Spring 2003 -- Prof. Grishman

###
Assignment #10

April 11, 2005
(Predicate calculus practice)

[1 point each]

- For at least some speakers, the sentence

Everyone noticed 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 *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

(forall
x) loves(Arthur,x)

loves(Fred, Fred)

(forall
x) (rich(x) implies loves(George,
x))

~(exists x) (forall y)
loves(x, y)

**Due April 25**^{th}.