Mandarin Resultative Compound Fragment

Lexical entries for Mandarin V-V resultative compounds and phase complements, parameterized by cross-linguistic types from Theories.Semantics.Causation.Resultatives.

Compound data

Each V-V compound entry records V1, V2, result orientation, and realization type. Object-oriented compounds (dǎ-sǐ "hit-die") and subject-oriented compounds (kū-lèi "cry-tired") coexist productively — Mandarin does not enforce the Direct Object Restriction (DOR).

Phase complements

A closed class of grammaticalized V2 morphemes with fixed CoSType semantics: dǎo 倒, wán 完, hǎo 好, diào 掉, zhù 住.

Cross-Module Connections

• Theories.Semantics.Causation.Resultatives: ResultativeRealization, ResultOrientation, PhaseComplement, CoSType
• Phenomena.Constructions.Resultatives.Studies.Tay2024: thesis-specific theorems and analysis that import this Fragment

structure Fragments.Mandarin.Resultatives.CompoundEntry : Type

A Mandarin V-V resultative compound lexical entry.

• v1 : String
• v2 : String
• gloss : String
• translation : String
• orientation : Causative.Resultatives.ResultOrientation
• realization : Causative.Resultatives.ResultativeRealization

instance Fragments.Mandarin.Resultatives.instReprCompoundEntry : Repr CompoundEntry

Equations

• Fragments.Mandarin.Resultatives.instReprCompoundEntry = { reprPrec := Fragments.Mandarin.Resultatives.instReprCompoundEntry.repr }

def Fragments.Mandarin.Resultatives.instReprCompoundEntry.repr : CompoundEntry → ℕ → Std.Format

Equations

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

def Fragments.Mandarin.Resultatives.instBEqCompoundEntry.beq : CompoundEntry → CompoundEntry → Bool

Equations

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

instance Fragments.Mandarin.Resultatives.instBEqCompoundEntry : BEq CompoundEntry

Equations

• Fragments.Mandarin.Resultatives.instBEqCompoundEntry = { beq := Fragments.Mandarin.Resultatives.instBEqCompoundEntry.beq }

def Fragments.Mandarin.Resultatives.da_si : CompoundEntry

打死 dǎ-sǐ "hit-die" = "beat to death" (object-oriented).

Equations

• Fragments.Mandarin.Resultatives.da_si = { v1 := "da", v2 := "si", gloss := "hit-die", translation := "beat to death", orientation := Causative.Resultatives.ResultOrientation.objectOriented }

def Fragments.Mandarin.Resultatives.da_po : CompoundEntry

打破 dǎ-pò "hit-break" = "break by hitting" (object-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.ku_lei : CompoundEntry

哭累 kū-lèi "cry-tired" = "cry oneself tired" (subject-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.chi_bao : CompoundEntry

吃饱 chī-bǎo "eat-full" = "eat until full" (subject-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.pao_lei : CompoundEntry

跑累 pǎo-lèi "run-tired" = "run oneself tired" (subject-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.ku_shi : CompoundEntry

哭湿 kū-shī "cry-wet" = "cry (handkerchief) wet" (object-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.tui_kai : CompoundEntry

推开 tuī-kāi "push-open" = "push open" (object-oriented).

Equations

• Fragments.Mandarin.Resultatives.tui_kai = { v1 := "tui", v2 := "kai", gloss := "push-open", translation := "push open", orientation := Causative.Resultatives.ResultOrientation.objectOriented }

def Fragments.Mandarin.Resultatives.he_zui : CompoundEntry

喝醉 hē-zuì "drink-drunk" = "drink oneself drunk" (subject-oriented).

Equations

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

def Fragments.Mandarin.Resultatives.allCompounds : List CompoundEntry

Equations

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

structure Fragments.Mandarin.Resultatives.PhaseComplementEntry : Type

A phase complement lexical entry mapping form to PhaseComplement.

• form : String
• gloss : String
• phase : Causative.Resultatives.PhaseComplement
• example_ : String

def Fragments.Mandarin.Resultatives.instReprPhaseComplementEntry.repr : PhaseComplementEntry → ℕ → Std.Format

Equations

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

instance Fragments.Mandarin.Resultatives.instReprPhaseComplementEntry : Repr PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.instReprPhaseComplementEntry = { reprPrec := Fragments.Mandarin.Resultatives.instReprPhaseComplementEntry.repr }

instance Fragments.Mandarin.Resultatives.instBEqPhaseComplementEntry : BEq PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.instBEqPhaseComplementEntry = { beq := Fragments.Mandarin.Resultatives.instBEqPhaseComplementEntry.beq }

def Fragments.Mandarin.Resultatives.instBEqPhaseComplementEntry.beq : PhaseComplementEntry → PhaseComplementEntry → Bool

Equations

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

def Fragments.Mandarin.Resultatives.phase_dao : PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.phase_dao = { form := "dao", gloss := "fall", phase := Causative.Resultatives.PhaseComplement.dao, example_ := "tui-dao (push-fall = push over)" }

def Fragments.Mandarin.Resultatives.phase_wan : PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.phase_wan = { form := "wan", gloss := "finish", phase := Causative.Resultatives.PhaseComplement.wan, example_ := "chi-wan (eat-finish = finish eating)" }

def Fragments.Mandarin.Resultatives.phase_hao : PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.phase_hao = { form := "hao", gloss := "good", phase := Causative.Resultatives.PhaseComplement.hao, example_ := "zuo-hao (do-good = get done)" }

def Fragments.Mandarin.Resultatives.phase_diao : PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.phase_diao = { form := "diao", gloss := "fall off", phase := Causative.Resultatives.PhaseComplement.diao, example_ := "reng-diao (throw-fall.off = throw away)" }

def Fragments.Mandarin.Resultatives.phase_zhu : PhaseComplementEntry

Equations

• Fragments.Mandarin.Resultatives.phase_zhu = { form := "zhu", gloss := "hold", phase := Causative.Resultatives.PhaseComplement.zhu, example_ := "ji-zhu (remember-hold = keep in mind)" }

def Fragments.Mandarin.Resultatives.allPhaseComplements : List PhaseComplementEntry

Equations

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