variable uniqueness according to its scope (the term of the sentence where it first appears)