Question: What time zone is in the location near Strathmore (DJ Murray) Airport in Texas?
Topic entities:
Texas: m.07b_l
strathmore (dj murray) airport: m.09slsk
Logical form: (AND (JOIN (R location.location.time_zones) m.07b_l) (JOIN time.time_zone.locations_in_this_time_zone (JOIN location.location.nearby_airports m.09slsk)))
Actions:
get_relations(m.07b_l)
get_neighbors(m.07b_l,location.location.time_zones)
get_relations(m.09slsk)
get_neighbors(m.09slsk,aviation.airport.serves)
get_relations(#1)
get_neighbors(#1,location.location.time_zones)
intersection(#0,#2)
Answer:
answer_argument: m.02hczc
entity_name: Mountain Time Zone