A.15.1:5.2 - Key relations among Work

Temporal order and overlap. A.15.1 supplies each Work occurrence and its exact extent; it does not declare precedes, happensBefore, overlaps, contains, and within as interchangeable relation names. Use C.27.TA to name the temporal bearer, reference, exact intervals, direct temporal predicate, and use that needs it. A differently named predicate is used only when its own declaration gives the same participant meanings and law. Use B.1.4 after those temporal facts are recovered when the task asks for a roll-up.

Retry and resumption. Use only a locally declared retry or resumption species that passes §4.1a. Name that predicate and the actual later–earlier Work pair. Bare retryOf or resumptionOf wording is a prompt to recover the local relation, not a positive claim.

Causal use. If one Work occurrence is claimed to explain, trigger, or cause another, keep the Work-to-Work relation separate from the causal-use claim. Use C.28 or the pattern that defines and tests that causal use.