State and Duration-based Effect Axioms

Grammar Name: maintain_effects.bnf

Extension Name: maintain_effects.def

Grammars required by Process Descriptions: actdur.bnf, state_precond.bnf

Process Descriptions

< maintain_effect_axiom > ::=	(forall (?s) 
					(if	 (and	(occurrence ?s )
							< duration_literal >
							< simple_state_axiom >)
						 < simple_holds_axiom >))) 

< partial_maintain_axiom > ::=	(forall (< variable >) 
					(if	  (and	(occurrence < variable > < term >)
							< duration_literal >
							< state_axiom >)
						  < simple_holds_axiom >))) |
				(forall (< variable >*)
					(if	  (and	(occurrence < variable > < term >)
							< interval_literal >
							< simple_state_axiom >)
						  < simple_holds_axiom >))) |