Two plans contained in the same plan.
(=> (Sibling-Plan ?A ?B) (Exists (?C) (And (Part-Of ?A ?C) (Part ?C ?B))))