(: 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