Definition:Scope of Quantifier