... ex-976Example #1:(a) show me the flights from boston to phillyλx.flight(x) ∧ from( x, bos) ∧ to(x, phi)(b) show me the ones that leave in the morningλx.flight(x) ∧ from( x, bos) ∧ to(x, phi)∧ dur ing(x, ... aircraft(x) = yExample #2:(a) show me flights from milwaukee to orlandoλx.flight(x) ∧ from( x, mil) ∧ to(x, orl)(b) cheapestargmin(λx.flight(x) ∧ from( x, mil) ∧ to(x, orl),λy.fare(y))(c) departing ... o’clockargmin(λx.flight(x) ∧ from( x, mil) ∧ to(x, orl)∧ day(x, wed) ∧ depart(x) > 1700 ,λy.fare(y))Example #3:(a) show me flights from pittsburgh to la thursday eveningλx.flight(x) ∧ from( x, pit) ∧...