X preceded_by Y iff: end(Y) before_or_simultaneous_with start(X)
x is preceded by y if and only ...... aps a process to an end point.
@en