fluents:
         clogged.
         armed(P) requires package(P).
         dunked.
         unsafe.

actions:
         dunk(P) requires package(P).
         flush.

always:
         inertial -armed(P).

         inertial clogged if not dunked.
         inertial -clogged if not dunked.

         caused dunked after dunk(P).
      
         caused -clogged after flush.
         caused -armed(P) after dunk(P).
         caused unsafe if not -armed(P).

         executable flush.
         executable dunk(P) if -clogged.

noConcurrency.

initially:
         -clogged.

goal: not unsafe?