Consider every man loves a woman. This could mean:
i.e. ∃X: woman(X) ∧ ∀Y (man(Y) ⇒ loves(Y, X))
(in other words, there is a particular woman and every man loves her)
... or else it could mean:
i.e. ∀Y man(Y) ∃X: (woman(X) ∧ loves(Y, X))
In other words, a possibly different woman for every man (in this case the woman is the man's mother).
