Relation LAST-PLAN-OF

Arity: 2
Domain: Generic-plan
Range: Generic-plan
Subrelation-Of: Planning-relation
Axioms:
(=> (Last-Plan-Of ?A ?B)
    (Not (Exists (?W) (And (Generic-Plan ?W) (Plan-Successor ?A ?W)))))