what are the names of the times zones which offset utc more than or equal to 10.0?
(AND time.time_zone (ge time.time_zone.offset_from_uct 10.0^^http://www.w3.org/2001/XMLSchema#float))