an Entity references as follows:
t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)