Copy
David Osumi-Sutherland
meets
ends_at_start_of
X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
