ANTE: Temporal Succession

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.