Mr. and Mrs. Smith make a travel plan: they want to go to a city in California or Florida where neither of them has ever been.
∀x (WantToGoTo(mr.AndMrs.Smith, x) ∧ City(x) → (California(x) ∨ Florida(x)) ∧ NeverGo(x))