Definition:Scope (Predicate Calculus)