"x does not overlaps the sequence of x if and only if there is no z such that x has a subsequence z and z is a subsequence of y." . . . "does not overlap sequence of" . . . "disconnected from" . "Chris Mungall" .