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