Some people flying from New York City to Seattle will be uncomfortable.
New York City is on the East Coast.  Seattle is on the West Coast.  If a person from a city on the East coast is traveling to a city on the west coast, they will be on a long flight. Most passengers on flights to Seattle from New York City are not in first class. People on long flights are uncomfortable unless they're in first class
On(newyorkcity, eastcoast) On(seattle, westcoast) ∀x ∀y ∀z ((TravelingFrom(x, y) ∧ On(y, eastcoast) ∧ TravelingTo(x, z) ∧ On(z, westcoast)) → OnLongFlight(x)) ∃x (¬InFirstClass(x) ∧ TravelingFrom(x, newyorkcity) ∧ TravelingTo(x, seattle)) ∀x (OnLongFlight(x) ∧ ¬InFirstClass(x) → Uncomfortable(x))