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)