Ordering-based Duration Axioms

Grammar Name: ordered_dur.bnf

Extension Name: ordered_dur.def

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

Process Descriptions

(ordered_duration ?a)

< order_dur_spec > ::=	(forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						< ordered_sentence >)
					  < duration_literal >))

(partial_ordered_duration ?a)

< partial_order_dur_spec > ::=  
(forall (?occ) 
	(if	  (and	(occurrence ?occ < term >)
			< ordered_formula >)
		  < duration_literal >)) |
  (forall (?occ)
	(if	  (and	(occurrence ?occ < term >)
			< ordered_sentence >)
		  < interval_literal >))