Time-based Effect Axioms

Grammar Name: time_effect.bnf

Extension Name: time_effect.def

Grammars required by Process Descriptions: state_effect.bnf

Process Descriptions

(temporal_effects ?a)

< simple_time_effects > ::=	(forall (?s) 
					(if	  (and	(occurrence ?s < term >)
							(legal ?s))
						  < simple_holds_axiom >)))

(partial_temporal ?a)

< time_effects > ::=		(forall (?s) 
					(if	  (and	(occurrence ?s < term >
							(legal ?s)
							< time_axiom >)
						  < simple_holds_axiom >))