 is initially alive, then the gun is loaded, then he waits, and
then he is shot) entails neither that the fluent <i>alive</i> is true in
the final state nor that it is false.  Verify this assertion using CCalc.<p>

In the examples discussed so far in this tutorial we have seen CCalc
propositions of three kinds: <tt>causes</tt> propositions,
<tt>nonexecutable</tt> propositions and <tt>may cause</tt> propositions.
The reader familiar with action language C+ knows
that all these expressions are actually abbrev