Relation PRECEDES

Diagrammatically: - -; if absolute time is not wanted in the definition, precedes can be taken as a primitive. To take into account platformed processes, we should also introduce different time-spans which contextualize branching platforms.
Arity: 2
Domain: Entity, Temporalized-entity
Range: Entity, Temporalized-entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (Precedes ?A ?B)
    (Exists (?U)
            (And (Exists (?C ?D ?E ?F)
                         (And (Beginpoint ?B ?F)
                              (Duration-Value ?F ?E)
                              (Endpoint ?A ?D)
                              (Time-Value ?D ?C)
                              (< ?C ?E)))
                 (Exists (?G)
                         (And (The-Time-Unit ?A ?G) (Identity ?G ?U)))
                 (Exists (?H)
                         (And (The-Time-Unit ?B ?H) (Identity ?H ?U))))))