Btc_kb




fluents:
clogged.

armed(P) requires package(P).

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

flush.
always:
inertial -armed(P).

inertial clogged.

caused -clogged after flush.

caused clogged after dunk(P).

caused -armed(P) after dunk(P).

caused unsafe if not -armed(P).

executable flush.

executable dunk(P) if not clogged.
noConcurrency.

goal: not unsafe?