Question: What standard time zone is used in Michigan and locations near Venice Municipal Airport?
Topic entities:
Michigan: m.04rrx
Venice Municipal Airport: m.026w2y7
Logical form: (AND (JOIN (R location.location.time_zones) m.04rrx) (JOIN time.time_zone.locations_in_this_time_zone (JOIN location.location.nearby_airports m.026w2y7)))
Actions:
get_relations(m.04rrx)
get_neighbors(m.04rrx,location.location.time_zones)
get_relations(m.026w2y7)
get_neighbors(m.026w2y7,aviation.airport.serves)
get_relations(#1)
get_neighbors(#1,location.location.time_zones)
intersection(#0,#2)
Answer:
answer_argument: m.02hcv8
entity_name: Eastern Time Zone