x1 (number) is the quantity of individual or plural specimens in the domain of discourse that satisfy the property x2 (plural quantification)
See pavmeidza. While da quantifies uniquely over individuals, it is sometimes desired to quantifies over plurals as well.