Launched Activity Axioms

Grammar Name: time_distribution.bnf

Extension Name: time_distribution.def

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

Process Descriptions

(launch ?a)

< simple_launch_activity > ::=    (forall (?s)
                                        (if	  < simple_time_axiom >
                                                  < distribution_formula>))

(partial_launch ?a)

< partial_launch_activity > ::=  (forall (?s < variable >+)
                                        (if	  < time_axiom >
                                                  < distribution_formula>))