ge?
&gt; 
&gt; ...
&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;                           (forall (?e')
&gt; 
&gt; ...
&gt; 
&gt; Hint:  It has 5 arguments, and therefore represents
&gt;        a map 'And&lt;5&gt;' such that 'And&lt;5&gt;' : B^5 -&gt; B.
&gt; 
&gt; The use of a single symb