isAdjacentAfter(X,Y) : genetic interval X is adjacent the end part of genetic interval Y If genetic interval X is adjacent to the end part of genetic interval Y, then the start of X is after the start of Y and the end of X is after the end of Y, and the end of X is the same as the start of Y. isAdjacentAfter(X,Y) ↔ (hasStartPoint(x1,X) & hasStartPoint(y1,Y) & isLocatedAfter(x1,y1)) & (hasEndPoint(x2,X) & hasEndPoint(y2,Y) & isLocatedAfter(x2,y2)) & ((pointInterval(x2,X) == pointInterval(y1,X))