 The language of plural quantification is carefully described in the entry on  plural quantification.  Syntactically, it is closely related to a two-sorted first-order language in which we have an infinite number of variables \(xx\), \(yy\), \(zz\), \(xx_{1}\), …. , and a two-place predicate \(\prec\), read “one of,” which will be flanked by singular and plural terms, respectively. Identity predicate can only flanked by singular terms.