Mixed Conditional Activity Axioms

Grammar Name: mixed_variation.bnf

Extension Name: mixed_variation.def

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

Process Descriptions

< mixed_conditional > ::=	(forall (?s ?s2) 
					(iff	(do ?a ?s ?s2)
						< simple_mix_conditional >))

< partial_mixed_conditional > ::=  (forall (?s ?s2 < variable >+) 
					(iff	(do ?a ?s ?s2)
						< mix_conditional_formula >))

Auxiliary Rules

< simple_mix_conditional > ::=      (if	 < simple_mix_axiom >
                                         < variation_formula >)

< mixed_conditional_formula > ::=     (if	 < mix_axiom >
                                         < variation_formula >)