ant is the purely generalized form of this axiom, of which the above
&gt; &gt; is just an instance:
&gt; &gt;
&gt; &gt; (forall (?x ?y ?z)
&gt; &gt;         (&lt;=&gt; (gives ?x ?y ?z)
&gt; &gt;              (exists (?e)
&gt; &gt;                      (and (giving ?e)
&gt; &gt;                           (giver ?e ?x)
&gt; &gt;                           (receiver ?e ?y)
&gt; &gt;                           (given ?e ?z)
&gt; &gt;                           (forall (?e')
&gt; &gt;                               