| (: Name: instanceof72 :) | |
| (: purpose: Evaluation of "instance of" expression for pattern "anyURI instance of xs:double".:) | |
| (: insert-start :) | |
| declare variable $input-context external; | |
| (: insert-end :) | |
| xs:anyURI("http://www.example.com") instance of xs:double |