x existence ends during y if and only if the time point at which x ends is before or equivalent to the time point at which y ends and after or equivalent to the point at which y starts. Formally: x existence ends during y iff ω(x) <= ω(y) and ω(x) >= α(y).

Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely.

Synonyms: ceases_to_exist_during