If a person is somewhere located on the East coast and is traveling to somewhere located on the west coast, they will be on a long flight.
∀x ∀y ∀z ((TravelingFrom(x, y) ∧ LocatedOn(y, eastcoast) ∧ TravelingTo(x, z) ∧ LocatedOn(z, westcoast)) → OnLongFlight(x))