elation to anything.")
&gt; &gt;
&gt; &gt; (forall (?x)
&gt; &gt;         (=&gt; (Independent ?x)
&gt; &gt;             (not (nec (exists (?y)
&gt; &gt;                               (or (Has ?x ?y)
&gt; &gt;                                   (Has ?y ?x)))))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM:  A continuant is an object that exists (and, hence,
&gt; &gt;  retains its identity) over time, i.e., an object that exists at every 
&gt; point
&gt; &gt;  over some interval of time.  This axiom is only impl