Definition:Scope (Logic)/Quantifier