preceded by immediately preceded by X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) immediately precedes