«الذي يبين به كمية الأفراد من الكلية والبعضية يسمى سوراً»
The expression that specifies the quantity of individuals is called a sūr (quantifier).
A quantifier is a term specifying the range of individuals to which a quantified proposition applies. The range may be universal or particular and may combine with an affirmative or negative assertion.
For example, “every” and “some” specify ranges, while “no” denies a predicate throughout the class.
Here sūr is a technical marker that delimits the judgment’s scope, not an ordinary word for a wall.