revised statement on xquery 3.0