Definition: In the case of t1
and t2
being temporal moments or periods (or, in technical terms, t1, t2 ∈ t
), the expression (t1 ANTE t2)
states that t1
lies temporally before t2
or is preceding t2
.
The relation ANTE
is extended to sort si
by the definition that (x ANTE y)
for x, y ∈ si
holds if and only if (tx ANTE ty)
is true for the moments or periods tx, ty ∈ t
assigned to the situations x
and y
. The analogue holds, if only one argument of ANTE
is a situation. The relation ANTE
is transitive, not reflexive and asymmetric.
Examples:
The contracts doubled the company revenue.