Class CYCLICAL-PLAN

A plan containing at least a cycle.
Subclass-Of: Complex-plan
Subclass-Partition: {Cycle-until, Cycle-for}
Axioms:
(=> (Cyclical-Plan ?Self)
    (And (Exists (?A)
                 (And (Represented-By ?Self ?A)
                      (Flow-Chart ?A)
                      (Exists (?B)
                              (And (First-Node ?A ?B)
                                   (Cycle-Node ?B)))
                      (Forall (?B ?C)
                              (=> (And (First-Node ?A ?B)
                                       (First-Node ?A ?C))
                                  (= ?B ?C)))))
         (Exists (?D) (And (Method-Of ?Self ?D) (Act-Stage ?D)))))