Bmtuc_kb




fluents:
clogged(T) requires toilet(T).

armed(P) requires package(P).

dunked(T) requires toilet(T). unsafe.
actions:
dunk(P,T) requires package(P), toilet(T).

flush(T) requires toilet(T).
always:
inertial -armed(P).

inertial clogged(T) if not dunked(T).

inertial -clogged(T) if not dunked(T).

caused dunked(T) after dunk(P,T).

caused -clogged(T) after flush(T).

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

caused unsafe if not -armed(P).

executable flush(T).

executable dunk(P,T) if -clogged(T).
initially:
-clogged(T).
goal: not unsafe?