Conditional Launch Activity Axioms

Grammar Name: mixed_distribution.bnf

Extension Name: mixed_distribution.def

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

Process Descriptions

< conditional_launch_activitiy > ::=	(forall (?s ?s2) 
						(if	 < simple_mix_axiom >
							 < distribution_formula>))

< partial_conditional_launch > ::=  (forall (?s ?s2 < variable >+) 
						(if	 < mix_formula >
							 < distribution_formula>))