Yale




fluents: alive. loaded.

actions: load. shoot.

always: executable shoot if loaded.
executable load if not loaded.

caused -alive after shoot.

caused -loaded after shoot.

caused loaded after load.

initially: total loaded.
alive.
goal: -alive? (1)