XQuery extension, priorities uncomplete