    (=&gt; (and (giving ?e')
&gt; &gt;                                            (giver ?e' ?x)
&gt; &gt;                                            (receiver ?e' ?y)
&gt; &gt;                                            (given ?e' ?z))
&gt; &gt;                                       (= ?e ?e')))))))
&gt;
&gt; Now I think we're getting there.
&gt; But even more is needed after the "&lt;=&gt;" to assure that:
&gt; 1) The same giving does not have more than one giver.
&gt; 2) The same giving does not have mor