The Eiffel Tower is located in the capital of France.
Belgium, France and Germany are European countries. Paris is the capital of France. The Eiffel Tower is one of the main tourist attractions located in Paris. Some people who live in Belgium speak French. If John goes to Europe, he will see some tourist attractions. John speaks French.
EuropeanCountry(belgium) ∨ EuropeanCountry(france) ∨ EuropeanCountry(germany) CapitalOf(paris, france) TouristAttraction(eiffelTower) ∧ LocatedIn(eiffelTower, paris) ∃x (LiveIn(x, belgium) → Speak(x, french)) ∃x (GoTo(john, europe) → (See(john, x) ∧ TouristAttraction(x))) Speak(john, french)