 a continuant (C).
&gt; &gt;  A structure mediates multiple objects whose junctures constitute the 
&gt; structure.")
&gt; &gt;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;; GENERAL AXIOMS ;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt;
&gt; &gt; (documentation "AXIOM: X is a subclass of Y only if X and Y are classes,
&gt; &gt;  and every instance of X is an instance of Y.")
&gt; &gt;
&gt; &gt; (forall (?subclass ?class)
&gt; &gt;         (=&gt; (subclass-of ?subclass ?class)
&gt; &gt;             (and (Class ?subclass)
&gt