"David Osumi-Sutherland" . "t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)"@en . . "before"@en . . . . . .