list all buildings serving airports that locate in time zones with offset from utc more than 0.0
(AND architecture.building (JOIN (R aviation.airport.serves) (JOIN (R time.time_zone.locations_in_this_time_zone) (ge time.time_zone.offset_from_uct 0.0^^http://www.w3.org/2001/XMLSchema#float))))