Btuc_kb




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?