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.
(=> (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))))))