Relation PLAN-SUCCESSOR

To be understood as 'plan part x has successor y'. This is transitive.
Arity: 2
Domain: Generic-plan
Range: Generic-plan
Subrelation-Of: Planning-relation