Copy
starts_at_end_of
X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
David Osumi-Sutherland