State-based Conditional Activity Axioms

Grammar Name: state_variation.bnf

Extension Name: state_variation.def

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

Process Descriptions

< conditional_activity > ::=	(forall (?s ?s2) 
					(iff	(do ?a ?s ?s2)
						< simple_conditional >))

< partial_conditional > ::=	(forall (?s ?s2 < variable >+) 
					(iff	(do ?a ?s ?s2)
						< conditional_formula >))

Auxiliary Rules

< simple_conditional > ::= 	(if	 < simple_state_axiom >
					 < variation_formula >)

< conditional_formula > ::= 	(if	 < state_axiom >
					 < variation_formula >)