Class SEQUENTIAL-PLAN

A plan that does not contain branchings nor synchronizations, nor cycles.
Subclass-Of: Complex-plan
Axioms:
(Slot-Value-Type Sequential-Plan Part Incoherent)

(Slot-Value-Type Sequential-Plan Part Incoherent)

(Slot-Value-Type Sequential-Plan Part Incoherent)

(=> (Sequential-Plan ?Self)
    (And (Exists (?A)
                 (And (Represented-By ?Self ?A)
                      (Flow-Chart ?A)
                      (Forall (?B)
                              (=> (Part ?A ?B) (Simple-Node ?B)))))
         (Exists (?C) (And (Method-Of ?Self ?C) (Act-Stage ?C)))))