First-Order Logic and set theory: Istanbul (¬Constantinople)
Constantinople → Istanbul
Istanbul & ¬Constantinople
¬Return(Constantinople)
Time(¬Constantinople) = long
TurkishDelight ↔ MoonlightNight
for all Gal ∈ Constantinople, Lives(Gal,Istanbul) & ¬Lives(Gal,Constantinople)
Conclusion: Date(you,Constantinople) → Waiting(her,Istanbul)
OldName(NewYork) = NewAmsterdam
Reason(changed,it) = Prefer(people,NewYork,NewAmsterdam)
¬Return(Constantinople)
Time(¬Constantinople) = long
Reason(Constantinople,works) = ¬Business(¬Turks)