Class SYNCHRO-PLAN

Subclass-Of: Generic-plan
Axioms:
(=> (Synchro-Plan ?Self)
    (And (Minimum-Slot-Cardinality ?Self Plan-Direct-Predecessor 2)
         (Exists (?A)
                 (And (Plan-Predecessor ?Self ?A)
                      (Or (Concurrent-Plan ?A)
                          (Partly-Concurrent-Plan ?A))))
         (Exists (?B) (And (Represented-By ?Self ?B) (Join-Node ?B)))
         (Exists (?C) (And (Method-Of ?Self ?C) (Planning-Stage ?C)))))