(:*******************************************************:)
(:Test: op-time-equal2args-14                            :)
(:Written By: Carmelo Montanez                           :)
(:Date: June 3, 2005                                     :)
(:Purpose: Evaluates The "op:time-equal" operator (le)   :)
(: with the arguments set as follows:                    :)
(:$arg1 = xs:time(lower bound)                           :)
(:$arg2 = xs:time(mid range)                             :)
(:*******************************************************:)

xs:time("00:00:00Z") le xs:time("08:03:35Z")