Relativistic Effect Axioms

Grammar Name: relativistic.bnf

Extension Name: relativistic.def

Grammars required by Process Descriptions: occ_effects.bnf, time_effects.bnf, effects.bnf

Process Descriptions

(relativistic ?a)

< relativistic_axiom > ::=
(forall (?s) 
	(if	 (and	{< leaf_constrained_axiom > | < inner_constrained_axiom}
			< simple_time_axiom >)
	 	 < simple_holds_axiom >))

(seminewton ?a)

< seminewton_axiom > ::=
(forall (?s) 
	(if	 (and	{< leaf_constrained_axiom > | < inner_constrained_axiom}
	 	 	< time_axiom >)
	 	 < simple_holds_axiom >))