T(alive,S2);
T(alive,S2) & -ab(alive,shoot,S2) > T(alive,S3);
T(loaded,S2) >  ab(alive,shoot,S2);
T(loaded,S2) > T(dead,S3);
T(loaded,S1);
T(loaded,S1) & -ab(loaded,wait,S1) > T(loaded,S2);
:-ab(loaded,wait,S1)/-ab(loaded,wait,S1);
:-ab(alive,shoot,S2)/-ab(alive,shoot,S2);
$