. "existence starts with" . "x starts ends with y if and only if the time point at which x starts is equivalent to the time point at which y starts. Formally: x existence starts with y iff \u03B1(x) = \u03B1(y)." . "Chris Mungall" . .