; 
&gt; &gt;&gt; Now let me use your example to explain the point which both
&gt; &gt;&gt; CSP and ANW were trying to make, which and you keep missing:
&gt; &gt;&gt; 
&gt; &gt;&gt; &gt;Gave(John, Book, Mary, yesterday)
&gt; &gt;&gt; &gt;    ---&gt;
&gt; &gt;&gt; &gt;(exists e)(Giving(e) &amp; agent(e, John) &amp; subject(e, book) &amp; 
&gt; &gt;&gt; &gt;recipient(e, Mary) &amp; time(e, yesterday)) ).
&gt; &gt;&gt; 
&gt; &gt;&gt; This is the transformation that Ernst Schroeder used in his 1890 
&gt; &gt;&gt