Class THE-LAST-PLAN

Subclass-Of: Generic-plan

Slots Of Instances:

Plan-Successor:
Slot-Value-Type: Incoherent
Axioms:
(<=> (The-Last-Plan ?Self)
     (And (Generic-Plan ?Self)
          (Minimum-Slot-Cardinality ?Self Plan-Predecessor 1)
          (Value-Type ?Self Plan-Successor Incoherent)))