(: Name: instanceof13 :)
(: purpose: Evaluation of "instance of" expression for pattern "time instance of xs:time".:)
(: insert-start :)
declare variable $input-context external;
(: insert-end :)
xs:time("13:20:10.5Z") instance of xs:time
