Class PARTLY-CONCURRENT-STAGE

Subclass-Of: Planning-stage
Axioms:
(=> (Partly-Concurrent-Stage ?Self)
    (And (Minimum-Slot-Cardinality ?Self Meets 3)
         (Exists (?A)
                 (And (Meets ?Self ?A)
                      (Stage ?A)
                      (Forall (?B)
                              (=> (Dependently-Co-Exist ?A ?B)
                                  (Incoherent ?B)))))
         (Exists (?C)
                 (And (Method ?Self ?C) (Partly-Concurrent-Plan ?C)))))