 We can extend this idea to assertions of Classical Chinese of the form ‘F G ye’, which we gloss here as “All F are G”, or “F are G” (with F functioning as a generic quantifier). For example, taking the expression bai ma (“white horse”) to represent “any x that resembles the model \(m_1\) for white horse” and ma (“horse”) for “any x that resembles the model \(m_2\) for horse”, the basic form of the assertion “White horses are horses” would be: