; &gt; &gt;                           (receiver ?e ?y)
&gt; &gt; &gt; &gt;                           (given ?e ?z)
&gt; &gt; &gt; &gt;                           (forall (?e')
&gt; &gt; &gt; &gt;                                   (=&gt; (and (giving ?e')
&gt; &gt; &gt; &gt;                                            (giver ?e' ?x)
&gt; &gt; &gt; &gt;                                            (receiver ?e' ?y)
&gt; &gt; &gt; &gt;                                            (given ?e' ?z))
&gt; &gt; &gt; &gt; 