An act stage is an act that constitutes a phase of a procedure.
(=> (Act-Stage ?Self) (And (Exists (?A) (And (Temporal-Part-Of ?Self ?A) (Procedure ?A))) (Exists (?B) (And (Method ?Self ?B) (Or (Sequential-Plan ?B) (Cyclical-Plan ?B))))))