Sentence:  z is the <WSD>free</WSD> variable in ∀ x∃ y:xy=z. 
Meaning of the word marked with <WSD> tags:  Unconstrained by quantifiers.