Relation SIBLING-PLAN

Two plans contained in the same plan.
Arity: 2
Domain: Entity, Generic-plan
Range: Entity, Generic-plan
Subrelation-Of: Planning-relation
Axioms:
(=> (Sibling-Plan ?A ?B)
    (Exists (?C) (And (Part-Of ?A ?C) (Part ?C ?B))))