(10 to 20)[position() = 2]
from within a Java application, in order to extract the result from the result sequence, one would have to use this code:
int pos = ((XSInteger)rs.first()).intvalue(); println(pos);
in order to get the result of ‘11’
