the class of model fragments about a 1-1-contol-volume
the control volume
(Forall (?1-1-Cv-Involved) (<=> (1-1-Control-Volume ?1-1-Cv-Involved) (Exists (?Self) (And (1-1-Control-Volume-Op-Mode ?Self) (= (1-1-Cv-Involved ?Self) ?1-1-Cv-Involved))))) (Forall (?Self ?Time) (<=> (Active ?Time 1-1-Control-Volume-Op-Mode ?Self) (1-1-Control-Volume-Op-Mode ?Self)))