> so with your example posted given an input of 5 I would guess that you
> can return false immediately (or at least after seeing the first range
> starts at 988) but your suggested code will check all the ranges.

Saxon evaluates a sequence lazily, and when getting the EBV, will stop after
finding a single node.

Michael Kay
http://www.saxonica.com/