Time-based Duration Axioms

Grammar Name: time_dur.bnf

Extension Name: time_dur.def

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

Process Descriptions

< rushhour_spec > ::=	(forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< simple_time_axiom >)
					  < duration_literal >))

< weekend_spec > ::=  (forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< time_axiom >)
					  < duration_literal >)) |
			  (forall (?occ)
				(if	  (and	(occurrence ?occ < term >)
						< simple_time_axiom >)
					  < interval_literal >))