Bt_kb




fluents:
armed(P) requires package(P).

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

always:
inertial -armed(P).

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

caused unsafe if not -armed(P).

executable dunk(P).
goal: not unsafe?