Class BRANCHING-PLAN

A plan that subdivides in a set of plans.
Subclass-Of: Elementary-plan
Axioms:
(=> (Branching-Plan ?Self)
    (And (Minimum-Slot-Cardinality ?Self Plan-Direct-Successor 2)
         (Exists (?A) (And (Represented-By ?Self ?A) (Fork-Node ?A)))
         (Exists (?B) (And (Method-Of ?Self ?B) (Planning-Stage ?B)))))