Duration-based Effect Axioms

Grammar Name: dur_effects.bnf

Extension Name: dur_effects.def

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

Process Descriptions

(duration_effects ?a)

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

(partial_duration_effects ?a)

< partial_dur_effect > ::=	(forall (< variable >*) 
					(if	  (and	(occurrence < variable > < term >)
							< interval_axiom >)
						  < simple_holds_axiom >)))