Occurrence-based Effect Axioms

Grammar Name: occ_effects.bnf

Extension Name: occ_effects.def

Grammars required by Process Descriptions: state_effects.bnf

Process Descriptions

(occ_effects ?a)

< occ_effect_axiom > ::=
(forall (?s) 
	(if	 {< leaf_constrained_axiom > | < inner_constrained_axiom}
	 	 < simple_holds_axiom >))

(occ_depend_effects ?a)

< occ_depend_effect_axiom > ::=
(forall (?s) 
	(if	 {< leaf_constrained_axiom > | < inner_constrained_axiom}
	 	 < holds_axiom >))