iations for special kinds of
"fluent dynamic laws" (see
<a href="http://www.cs.utexas.edu/users/vl/papers/nmct.ps">NMCT</a>,
Appendix B). The general form of a fluent dynamic law is<p>

<center>
<tt>caused</tt> <i>F</i> <tt>if</tt> <i>G</i> <tt>after</tt> <i>H</i>
</center>

<p>where <i>F</i>, <i>G</i> and <i>H</i> are formulas; <i>F</i> and <i>G</i>
are not allowed to contain symbols for actions.  In particular,<p>

<center>
<i>A</i> <tt>causes</tt> <i>F</i> <tt>if</tt> <i>G</i>
</center>

<p>is shorthand 