Periodic Precondition Axioms

Grammar Name: periodic.bnf

Extension Name: periodic.def

Grammars required by Process Descriptions: occ_precond.bnf, time_precond.bnf

Process Descriptions

< periodic_precond > ::=   
(forall (?s)
        ({if | iff} (and   (occurrence ?s < term >)
                                (legal ?s)
				(ubiquitous < term > < term >)
				< simple_time_axiom >)
                         {< leaf_constrained_axiom > | < inner_constrained_axiom}))

< intermittent_precond > ::=   
(forall (?s)
        ({if | iff} (and   (occurrence ?s < term >)
                                (legal ?s)
				(ubiquitous < term > < term >)
				< time_axiom >)
                         {< leaf_constrained_axiom > | < inner_constrained_axiom}))