olds between timepoints.")
&gt; &gt;
&gt; &gt; (nth-domain before 1 timepoint 2 timepoint)
&gt; &gt;
&gt; &gt; (documentation "AXIOM: The before relation is a total ordering.")
&gt; &gt;
&gt; &gt; (forall (?t1 ?t2: (and (timepoint ?t1) (timepoint ?t2)))
&gt; &gt;         (or (= ?t1 ?t2)
&gt; &gt;             (before ?t1 ?t2)
&gt; &gt;             (before ?t2 ?t1)))
&gt; &gt;
&gt; &gt; (documentation "AXIOM: The before relation is irreflexive.")
&gt; &gt;
&gt; &gt; (forall (?t1)
&gt; &gt;         (not (befor