Copy
X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
external
immediately_preceded_by