(: Name: instanceof27 :)
(: purpose: Evaluation of "instance of" expression for pattern "date instance of xs:float".:)
(: insert-start :)
declare variable $input-context external;
(: insert-end :)
xs:date("2000-01-01+05:00") instance of xs:float