suzmeidza lujvo

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.


In notes:

pavmeidza
x1 (number) is the quantity of individual specimens in the domain of discourse that satisfy the property x2
sei'a (exp!)
converts singular quantifier into plural quantifier