find all buildings serving airports that locate in time zones with offset from utc more than -5.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 -5.0^^http://www.w3.org/2001/XMLSchema#float))))