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