e ?t1 ?t1)))
&gt; &gt;
&gt; &gt; (documentation "AXIOM: The before relation is transitive.")
&gt; &gt;
&gt; &gt; (forall (?t1 ?t2 ?t3)
&gt; &gt;         (=&gt; (and (before ?t1 ?t2) (before ?t2 ?t3))
&gt; &gt;             (before ?t1 ?t3)))
&gt; &gt;
&gt; &gt; -----------------
&gt; &gt; Adam Pease
&gt; &gt; Teknowledge
&gt; &gt; (650) 424-0500 x571
&gt; &gt;
&gt; &gt; ---------------------------------------------------------------------------
&gt;¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

-