Spread Activity Axioms

Grammar Name: spread.bnf

Extension Name: spread.def

Grammars required by Process Descriptions: embedding.bnf, time_precondition.bnf

Process Descriptions

< spread_axiom > ::=	(forall (?s ?occ < variable >*) 
				< simple_spread_axiom >)

< partial_spread_axiom > ::=  (forall (?s ?occ < variable >+) 
				  < partial_spread_axiom >))

Auxiliary Rules

< spread_formula > ::=	(if	 < subocc_formula >
				 < simple_time_axiom >)

< simple_spread_axiom > ::=	< spread_formula> |
				(and < simple_spread_axiom > < simple_spread_axiom >+)

< partial_spread_formula > ::=	(if	 < subocc_formula >
				 	 < time_axiom >)

< partial_spread_axiom > ::=	< partial_spread_formula> |
				(and < partial_spread_axiom > < partial_spread_axiom >+)