| (:*******************************************************:) | |
| (: Test: K-SeqExistsFunc-12 :) | |
| (: Written by: Frans Englich :) | |
| (: Date: 2006-10-05T18:29:40+02:00 :) | |
| (: Purpose: The Dynamic Context property 'current dateTime' must have an explicit timezone when presented as a xs:time. :) | |
| (:*******************************************************:) | |
| exists(timezone-from-time(current-time())) |