  (nec (exists (?y)
&gt; &gt;                          (or (has ?x ?y)
&gt; &gt;                              (has ?y ?x))))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM: Independent and Relative are disjoint.")
&gt; &gt;
&gt; &gt; (disjoint Independent Relative)
&gt; &gt;
&gt; &gt; (documentation "AXIOM: Relative and Mediating are disjoint.")
&gt; &gt;
&gt; &gt; (disjoint Relative Mediating)
&gt; &gt;
&gt; &gt; (documentation "AXIOM: Independent and Relative are disjoint.")
&gt; &gt;
&gt; &gt; (disjoint Ind