n (MPO)
&gt; &gt;  is a purpose (MAO).  The basic axioms for Purpose are inherited from its
&gt; &gt;  supertypes Mediating, Abstract, and Occurrent.  Some lower level axioms
&gt; &gt;  relate purposes to actions and agents:
&gt; &gt;  (1) Time sequence.  If an agent x performs an act y whose purpose
&gt; &gt;      is a situation z, the start of y occurs before the start of z.
&gt; &gt;  (2) Contingency.  If an agent x performs an act y whose purpose is
&gt; &gt;      a situation z described by a propositio