Duration Axioms for Embedded Activities

Grammar Name: embed_dur.bnf

Extension Name: embed_dur.def

Grammars required by Process Descriptions: None

Process Descriptions

(embed_duration ?a)

< embed_dur__spec > ::=	(forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						(same_tree < variable > ?occ))
					  < duration_literal >))

(partial_embed_duration ?a)

< embed_interval_spec > ::=  (forall (?occ) 
				(if	  (and	(occurrence ?occ < term >)
						(same_tree < variable > ?occ))
					  < interval_axiom >))