                                          (beforeEq (t ?t2)))
&gt; &gt;                                      (exists-at ?x ?t)))))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM: If a mediating entity ?m has ?x and ?y,
&gt; &gt;  then either ?x has ?y or vice versa.")
&gt; &gt;
&gt; &gt; (forall (?x ?y ?z)
&gt; &gt;         (=&gt; (and (instance-of ?m Mediating)
&gt; &gt;                  (has ?m ?x)
&gt; &gt;                  (has ?m ?y))
&gt; &gt;             (nec (or (has ?x ?y) (has ?y ?x)))))
&gt; &gt;
&g