Duration Axioms

Grammar Name: actdur.bnf

Extension Name: actdur.def

Grammars required by Process Descriptions: None

Process Descriptions

< constant_spec > ::=	(forall (?occ) 
				(if	  (occurrence ?occ < term >)
					  < duration_literal >))

< interval_spec > ::=	(forall (?occ) 
				(if	  (occurrence ?occ < term >)
					  < interval_axiom >))

Auxiliary Rules

< duration_literal > ::=	(= (dur ?occ) < term >)

< interval_literal > ::=	(lesser (dur ?occ) < term >) |
				(lesser < term > (dur ?occ))

< interval_axiom > ::=		< interval_literal > |
				(not < interval_axiom >) |
				({and | or} < interval_axiom >*) | 
				({if | iff} < interval_axiom >)