Wang and Sun (2026): Detaching Mandarin Classifiers from Nouns #
This file formalizes [WS26]'s account of three restrictions on Mandarin classifier
phrases in [Adg25]'s mereological syntax. A classifier is not a projection of the noun but
an object of its own, (7a): it subjoins to Q as Q's 1-part, the numeral is Q's 2-part, and the
noun, if present, is the classifier's 1-part, (7b), (26). Dimensionality then leaves no room at
Q, so a degree-modified adjective cannot sit between the numeral and the classifier, (29a)
(subjoin_modifier_q), although it subjoins to the classifier as its 2-part, (28a)
(subjoin_modifier_cl), or to D, (28b) (subjoin_modifier_d). The classifier spells out with
Q along Q's complementation line, (26b) (nPart_one_q), so the classifier and the noun cannot be
dislocated without the numeral. The particle de realises Mod, (7c): with de after the
classifier the quantity phrase is the 1-part of a Mod that is D's 2-part, and the classifier is
reached from D only across dimensions, (34)–(35) (not_clVisible_numClDeN). Visibility from D
is the paper's structural correlate of the sortal reading, glasses as entities, against the
mensural reading, glassfuls, (33) (reading). Nothing more, such as a second de-modifier, can
subjoin to the filled D, (37a) (subjoin_numClDeN). In the measure use the classifier has no
noun and Q is the 2-part of Deg, off the complementation line of the predicate, (45)
(nPart_one_pred).
Extraction runs by Angular Locality, (40), on the clausal structure of (41): the object D is
the 2-part of O, and O, v and Asp are the 1-part chain of C. A wh-numeral first subjoins to D
and from there to C, (41) (wh_numeral); with a de-modifier in D's 2-part the numeral can
neither subjoin to D nor, in any derivation, reach C, (39b), (42) (wh_numeral_modifier).
Topicalisation of the whole D reaches C at once, (43c) (topic_d); the noun must subjoin to D
first, stranding the numeral and classifier, (43d) (topic_n), which a modifier as the
classifier's 2-part permits, (44a) (topic_n_modifier_cl), and a modifier as D's 2-part blocks
for good, (44b) (topic_n_modifier_d).
Implementation notes #
- The nominal structures and the clause of (41) are
Parthoodvalues on one type of objects, so visibility from D, Dimensionality at Q and D, and extraction are read off the same parthood relations, and each claim is checked bydecide. In the clause, Mod stands for the whole modifier, whose internal structure, (27), is given only in the nominal structures. - Linearisation, (7e), and the collective spell-out of Q with Cl are not represented; the adjacency of the numeral and the classifier is stated as Dimensionality at Q, which is what the paper derives it from, and the ban on modifiers between D and Num, (31), is not derived.
- The topicalisation of the whole D in (43c) is proved for the structure without a modifier.
References #
Equations
- WangSun2026.instDecidableEqNode x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- WangSun2026.instFintypeNode = { elems := { val := ↑WangSun2026.Node.enumList, nodup := WangSun2026.Node.enumList_nodup }, complete := WangSun2026.instFintypeNode._proof_1 }
Equations
- WangSun2026.instReprNode = { reprPrec := WangSun2026.instReprNode.repr }
Equations
- WangSun2026.instReprNode.repr WangSun2026.Node.C prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.C")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Asp prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Asp")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.v prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.v")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.O prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.O")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.V prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.V")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Agent prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Agent")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.D prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.D")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Q prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Q")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Cl prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Cl")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.N prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.N")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Num prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Num")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Mod prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Mod")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Deg prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Deg")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.A prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.A")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Adv prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Adv")).group prec✝
- WangSun2026.instReprNode.repr WangSun2026.Node.Pred prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "WangSun2026.Node.Pred")).group prec✝
Instances For
Structures, (26)–(28), (34), (45) #
In yī zhāng zhuōzi 'a table', (26), beside the modifier hěn dà de 'very big', (27), N is the 1-part of Cl, Cl the 1-part and the numeral the 2-part of Q, and Q the 1-part of D; Mod, the spell-out of de, has the degree object Deg as its 1-part, whose 1-part is A and 2-part Adv.
Equations
- One or more equations did not get rendered due to their size.
Instances For
In yī zhāng hěn dà de zhuōzi, (28a), the modifier is the classifier's 2-part.
Equations
- WangSun2026.numClModN = { onePart := WangSun2026.numClN.onePart, twoPart := Function.update WangSun2026.numClN.twoPart WangSun2026.Node.Cl (some WangSun2026.Node.Mod) }
Instances For
In hěn dà de yī zhāng zhuōzi, (28b), the modifier is D's 2-part.
Equations
- WangSun2026.modNumClN = { onePart := WangSun2026.numClN.onePart, twoPart := Function.update WangSun2026.numClN.twoPart WangSun2026.Node.D (some WangSun2026.Node.Mod) }
Instances For
In sān bēi de jiǔ 'three glassfuls of liquor', (34b), the noun is D's 1-part, and the quantity phrase, with a bare classifier, is the 1-part of Mod, D's 2-part.
Equations
- One or more equations did not get rendered due to their size.
Instances For
In duō sān kē 'three (units) more', (45b), the quantity phrase, with a bare classifier, is the 2-part of Deg, whose 1-part is the adjective, under the predicate object.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Modification, (28)–(29), (37) #
Spell-out lines, (26b), (45b) #
The 1-parts of Q are the classifier and the noun, so the classifier lies on Q's complementation line and spells out with Q, whose 2-part is the numeral, (26b).
Pred, Deg and A spell out together, (45b); the quantity phrase, Deg's 2-part, is off the line.
Visibility and the reading of a classifier, (33)–(36) #
The classifier is visible from D when it is one of D's 1-parts.
Equations
Instances For
With de the classifier is reached from D only across dimensions, (34b), so it is invisible.
The noun is visible from D with or without de.
A classifier denotes a concrete object or an abstract unit.
Instances For
Equations
- WangSun2026.instDecidableEqReading x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
The reading of the classifier at a nominal is sortal when the classifier is visible from D, and mensural otherwise.
Equations
Instances For
Extraction by Angular Locality, (39)–(44) #
In Sān gè píngguǒ, Zhāngsān chī-le before topicalisation, (41), (43), D is the 2-part of O, O the 1-part of v, v of Asp, Asp of C, and the agent, the 2-part of v, has subjoined to Asp.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The objects inside D in the clause of (41), other than a modifier in D's 2-part.
Equations
Instances For
A wh-numeral is the 2-part of Q, the 1-part of D, so it subjoins to D; as D's 2-part it is part of O, the 1-part of C, and subjoins to C, (41). It cannot reach C directly.
With a modifier as D's 2-part, Angular Locality still admits the wh-numeral at D but Dimensionality refuses it, and no derivation makes the numeral a part of C, (42).
The whole D, the 2-part of O, subjoins to C, (43c).
The noun, in D's first dimension, is no part of O and cannot reach C; it subjoins to D as D's 2-part, becomes part of O, and subjoins to C, stranding the numeral and classifier, (43d).
A modifier as the classifier's 2-part leaves D's 2-part free, and the noun topicalises, (44a).
A modifier as D's 2-part fills D: the noun cannot subjoin to it, and no derivation makes the noun a part of C, (44b).