root true Lambda
 Lambda true variable type body
 variable true $0
 type true e
 body true Apply
 Apply true predicate arguments
 predicate true airport
 arguments true Variable
 arguments true End
 Variable true variable
 predicate true oneway
 body true And
 And true arguments
 arguments true Apply
 predicate true loc:t
 arguments true Entity
 Entity true entity
 predicate true ground_transport
 predicate true to_city
 root true Entity
 predicate true airline
 predicate true flight_number
 entity true sa:dc
 predicate true flight
 predicate true from
 predicate true to
 root true Apply
 predicate true equals:t
 predicate true abbrev
 entity true usair:al
 predicate true equals
 arguments true The
 The true variable body
 predicate true rapid_transit
 predicate true day
 predicate true fare
 predicate true services
 predicate true fare_basis_code
 predicate true rental_car
 predicate true city
 predicate true stop
 predicate true day_number
 predicate true month
 entity true delta:al
 predicate true nonstop
 body true Exists
 Exists true variable body
 variable true $1
 arguments true Compare
 Compare true op left right
 op true Equal
 left true Apply
 predicate true airline:e
 right true Variable
 predicate true airline_name
 predicate true class_type
 entity true business:cl
 predicate true aircraft_code
 arguments true Exists
 predicate true aircraft_code:t
 predicate true limousine
 predicate true from_airport
 root true Argmax
 Argmax true variable domain body
 domain true And
 predicate true departure_time
 entity true first:cl
 op true LessThan
 right true Entity
 op true GreaterThan
 root true Min
 Min true variable body
 root true Argmin
 Argmin true variable domain body
 predicate true meal
 entity true breakfast:me
 predicate true meal_code
 predicate true during_day
 entity true morning:pd
 root true Count
 Count true variable body
 predicate true tomorrow
 predicate true meal:t
 predicate true daily
 predicate true time_elapsed
 body true Or
 Or true arguments
 predicate true time_zone_code
 predicate true booking_class:t
 predicate true round_trip
 entity true evening:pd
 root true Max
 Max true variable body
 body true Compare
 predicate true capacity
 arguments true Or
 entity true pm:pd
 entity true afternoon:pd
 predicate true weekday
 predicate true arrival_time
 predicate true booking_class
 predicate true economy
 predicate true today
 entity true early:pd
 predicate true turboprop
 predicate true ground_fare
 predicate true class_of_service
 domain true Apply
 predicate true aircraft
 entity true boeing:mf
 predicate true minimum_connection_time
 predicate true during_day_arrival
 entity true coach:cl
 body true Count
 predicate true connecting
 predicate true named
 arguments true Not
 Not true argument
 argument true Exists
 predicate true miles_distant
 right true Apply
 predicate true year
 variable true $2
 entity true b:fb
 entity true late:pd
 entity true daytime:pd
 argument true Apply
 entity true dinner:me
 arguments true Argmin
 predicate true minutes_distant
 predicate true approx_arrival_time
 entity true thrift:cl
 arguments true Argmax
 predicate true has_stops
 predicate true approx_departure_time
 predicate true stops
 predicate true month_arrival
 predicate true day_number_arrival
 predicate true day_arrival
 entity true lunch:me
 predicate true taxi
 predicate true has_meal
 root true Sum
 Sum true variable domain body
 body true Lambda
 type true i
 left true Variable
 right true Count
 arguments true Number
 Number true number
 number true 9:hr
 predicate true jet
 predicate true air_taxi_operation
 predicate true approx_return_time
 entity true late_night:pd
 predicate true day_after_tomorrow
 predicate true manufacturer
 right true Number
 number true 3:i
 predicate true day_return
 predicate true day_number_return
 predicate true month_return
 arguments true And
 predicate true discounted
 predicate true overnight
 entity true snack:me
 number true 1:i
 entity true breakfast:pd
 predicate true next_days
 number true 2:i
 predicate true restriction_code
 arguments true Min
 entity true late_evening:pd
 predicate true days_from_today
 predicate true tomorrow_arrival
 predicate true tonight
 variable true $3
 predicate true after_day
 predicate true before_day
 predicate true stop_arrival_time
 entity true mealtime:pd
 predicate true arrival_month
 entity true las:ap
 predicate true cost