Mandarin Chinese Quantifier Fragment

[KY12] [Tsa15]

Quantifier phrases in Mandarin, following [KY12]'s GQ-theoretic inventory (§12.1) and [Tsa15]'s strong/weak classification (§5.3).

Existential (intersective) quantifiers — weak ([KY12] §12.1.1):

• hěnduō 很多 (many)

Universal (co-intersective) quantifiers — strong ([KY12] §12.1.2):

• měi 每 (every), suǒyǒu 所有 (all), quánbù 全部 (all)

Proportional quantifiers ([KY12] §12.1.5):

• dà-bùfèn 大部分 (most)

Key typological properties:

• No definiteness-marked quantifiers (no "the")
• Conservativity expected to hold (universal)
• měi requires classifiers; suǒyǒu and quánbù do not ([KY12] §12.1.6)

structure Mandarin.Determiners.MandarinQuantEntryextends Quantifier : Type

Mandarin quantifier entry. extends Syntax.Determiner.Quantifier (the marked-determiner base — the inherited form holds the hànzì surface form) and adds classifier requirements (Mandarin-specific morphosyntax) and the typological metadata labels (qforce/monotonicity/strength).

• form : String
• numberRestriction : Option Number
• selectsMass : Bool
• pinyin : String

  Pīnyīn romanization

• gloss : String

  English gloss

• qforce : Quantification.Lexicon.QForce

  Quantificational force

• monotonicity : Quantification.Lexicon.Monotonicity

  Monotonicity

• strength : Quantification.Lexicon.Strength

  Weak/strong (there-insertion diagnostic adapted to existential yǒu 有)

• requiresClassifier : Bool

  Requires a classifier (liàngcí 量词) between determiner and noun

• typicalClassifier : Option NounCategorization.ClassifierEntry

  Typical classifier used with this quantifier (个 gè by default)

def Mandarin.Determiners.instReprMandarinQuantEntry.repr : MandarinQuantEntry → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Mandarin.Determiners.instReprMandarinQuantEntry : Repr MandarinQuantEntry

Equations

• Mandarin.Determiners.instReprMandarinQuantEntry = { reprPrec := Mandarin.Determiners.instReprMandarinQuantEntry.repr }

@[implicit_reducible]

instance Mandarin.Determiners.instBEqMandarinQuantEntry : BEq MandarinQuantEntry

Equations

• Mandarin.Determiners.instBEqMandarinQuantEntry = { beq := Mandarin.Determiners.instBEqMandarinQuantEntry.beq }

def Mandarin.Determiners.instBEqMandarinQuantEntry.beq : MandarinQuantEntry → MandarinQuantEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Mandarin.Determiners.instBEqMandarinQuantEntry.beq x✝¹ x✝ = false

def Mandarin.Determiners.mei : MandarinQuantEntry

每 měi "every" — universal, singular-like, requires classifier. měi-gè xuéshēng 每个学生 "every-CL student"

Equations

• One or more equations did not get rendered due to their size.

def Mandarin.Determiners.suoyou : MandarinQuantEntry

所有 suǒyǒu "all" — universal, plural-like, no classifier required. suǒyǒu xuéshēng 所有学生 "all students"

Equations

• Mandarin.Determiners.suoyou = { form := "所有", pinyin := "suǒyǒu", gloss := "all", qforce := Quantification.Lexicon.QForce.universal, strength := Quantification.Lexicon.Strength.strong }

def Mandarin.Determiners.quanbu : MandarinQuantEntry

全部 quánbù "all" — universal, increasing, strong. quánbù xuéshēng 全部学生 "all students". Synonym of suǒyǒu; does not require a classifier.

Equations

• Mandarin.Determiners.quanbu = { form := "全部", pinyin := "quánbù", gloss := "all", qforce := Quantification.Lexicon.QForce.universal, strength := Quantification.Lexicon.Strength.strong }

def Mandarin.Determiners.henduo : MandarinQuantEntry

很多 hěnduō "many" — existential/proportional, increasing, weak. hěnduō xuéshēng 很多学生 "many students". Can optionally co-occur with dōu but does not require it.

Equations

• Mandarin.Determiners.henduo = { form := "很多", pinyin := "hěnduō", gloss := "many", qforce := Quantification.Lexicon.QForce.existential }

def Mandarin.Determiners.dabufen : MandarinQuantEntry

大部分 dà-bùfèn "most/the greater part" — proportional, increasing, strong. dà-bùfèn xuéshēng 大部分学生 "most students"

Equations

• Mandarin.Determiners.dabufen = { form := "大部分", pinyin := "dà-bùfèn", gloss := "most", qforce := Quantification.Lexicon.QForce.proportional, strength := Quantification.Lexicon.Strength.strong }

def Mandarin.Determiners.allQuantifiers : List MandarinQuantEntry

Equations

• Mandarin.Determiners.allQuantifiers = [Mandarin.Determiners.mei, Mandarin.Determiners.suoyou, Mandarin.Determiners.quanbu, Mandarin.Determiners.henduo, Mandarin.Determiners.dabufen]

def Mandarin.Determiners.lookup (pinyin : String) : Option MandarinQuantEntry

Equations

• Mandarin.Determiners.lookup pinyin = List.find? (fun (e : Mandarin.Determiners.MandarinQuantEntry) => e.pinyin == pinyin) Mandarin.Determiners.allQuantifiers

theorem Mandarin.Determiners.mei_strong : mei.strength = Quantification.Lexicon.Strength.strong

měi is strong (no existential yǒu sentence).

theorem Mandarin.Determiners.mei_requires_cl : mei.requiresClassifier = true

měi requires a classifier.

theorem Mandarin.Determiners.suoyou_no_cl : suoyou.requiresClassifier = false

suǒyǒu does not require a classifier.

theorem Mandarin.Determiners.henduo_weak : henduo.strength = Quantification.Lexicon.Strength.weak

hěnduō is weak; all others are strong QPs ([Tsa15] §5.3).

theorem Mandarin.Determiners.strong_qps_are_strong : ((List.filter (fun (x : MandarinQuantEntry) => x.pinyin != "hěnduō") allQuantifiers).all fun (x : MandarinQuantEntry) => x.strength == Quantification.Lexicon.Strength.strong) = true

theorem Mandarin.Determiners.requires_cl_has_typical : ((List.filter (fun (x : MandarinQuantEntry) => x.requiresClassifier) allQuantifiers).all fun (x : MandarinQuantEntry) => x.typicalClassifier.isSome) = true

All quantifiers that require a classifier have a typicalClassifier set.

theorem Mandarin.Determiners.typical_classifier_is_default : ((List.filterMap (fun (x : MandarinQuantEntry) => x.typicalClassifier) allQuantifiers).all fun (x : NounCategorization.ClassifierEntry) => x.isDefault) = true

All typical classifiers are 个 (the default).