relation is
&gt; &gt; ;; a total ordering;  if necessary, the axiom can always be dropped.
&gt; &gt; ;; Also, sufficient background for the "exists-at" predicate is also
&gt; &gt; ;; needed -- but this will require some decisions about where events fit
&gt; &gt; ;; into Sowa's picture, as well as how to ascribe temporal properties
&gt; &gt; ;; (like the beginning of a thing's existence) to objects.
&gt; &gt;
&gt; &gt; (documentation beforeEq  "Timepoint ?t1 is beforeEq timepoint ?t2
&gt; &gt;  iff ?t1 is be