Triggered Activity Axioms

Grammar Name: state_distribution.bnf

Extension Name: state_distribution.def

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

Process Descriptions

(trigger ?a)

< trigger_activity > ::=	(forall (?s) 
					(if	  < simple_state_axiom >
						  < distribution_formula>))

(partial_trigger ?a)

< partial_trigger > ::=		(forall (?s < variable >+) 
					(if	  < state_axiom >
						  < distribution_formula>))