Relation PLAN-DIRECT-PREDECESSOR

Arity: 2
Domain: Generic-plan
Range: Generic-plan
Axioms:
(= (Inverse Plan-Direct-Successor) Plan-Direct-Predecessor)

(<=> (Plan-Direct-Predecessor ?A ?B)
     (And (Generic-Plan ?A) (Generic-Plan ?B)))