ng to the verb
&gt; &gt; of the simple sentence, as in:
&gt; &gt;
&gt; &gt; Gave (John, Book, Mary, yesterday)
&gt; &gt;     ---&gt;
&gt; &gt; ( exists e )
&gt; &gt; ( Giving (e) &amp;
&gt; &gt;   agent (e, John) &amp;
&gt; &gt;   subject (e, book) &amp;
&gt; &gt;   recipient (e, Mary) &amp;
&gt; &gt;   time (e, yesterday))                 &lt;&lt;&lt;---&lt;&lt;&lt;  Here?
&gt; &gt; ).
&gt; &gt;

Yes, sorry. In KIF this would be (just to set the record straight):

(exists (?e)(and (giving ?e)
             