isEndsWith(X,Y) : genetic interval X ends with genetic interval Y If genetic interval X ends with genetic interval Y, then the end of X and the end of Y are identical and the start of X is after the start of Y. isEndsWith(X,Y) ↔ ((hasEndPoint(x1,X) & hasEndPoint(x1,Y)) & (hasStartPoint(x2,X) & hasStartPoint(y,Y) & isLocatedAfter(x2,y))