Find!
x1 (number) is the quantity of individual specimens in the domain of discourse that satisfy the property x2
Individual counting quantification. For plural quantification, see suzmeidza.