SUO: Re: Parse Of Things Remembered
>
>P.S. Slight look-ahead --
> Is there an extra right parens in the
> expression that I pretty-printed below?
>J.A.
>
> > where 'first', 'second', etc., are some fixed set of binary
> > relations. (In case grammar these correspond to cases such
> > as 'agent', 'subject' and so on, and the 'e' is something like
> > an event or a situation, of type R, corresponding to the verb
> > of the simple sentence, as in:
> >
> > Gave (John, Book, Mary, yesterday)
> > --->
> > ( exists e )
> > ( Giving (e) &
> > agent (e, John) &
> > subject (e, book) &
> > recipient (e, Mary) &
> > time (e, yesterday)) <<<---<<< Here?
> > ).
> >
Yes, sorry. In KIF this would be (just to set the record straight):
(exists (?e)(and (giving ?e)
(agent ?e John)
(subject ?e book)
(recipient ?e Mary)
(time ?e yesterday)
)
)
Pat Hayes
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes