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

Assignment #8

March 13, 2003

(Predicate calculus practice)
 

  1. 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).

  2. 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).

  3. Using predicate calculus with event reification, and treating hamburgers as a set of objects, represent the meaning of

        Vegetarians do not eat hamburgers.

  4. Express the following in idiomatic English

       (" x) loves(Arthur,x)
       loves(Fred, Fred)
       (" x) (rich(x) Þ loves(George, x))
       ~($ x) (" y) loves(x, y)
Due April 3rd.