<head>
   <title>CCalc Tutorial: Nondeterministic Shooting</title>
</head>

<center>
<h2>
2.2. Nondeterministic Shooting
</h2>
</center>

In the Yale Shooting Problem (<a href="ysp.html">Section 2.1</a>) the person
is assumed to become dead any time he is shot with a loaded gun.  Let us
relax this assumption now and take into account the possibility that the
assailant can miss.  After shooting, the fluent <i>alive</i> can change its
value from <b>t</b> to <b>f</b>, as before, but it can also keep the value
