Mandarin Reciprocal Fragment

@cite{nordlinger-2023} @cite{konig-kokutani-2006}

Mandarin uses a compound verb strategy for reciprocity: V-lái-V-qù (V-come-V-go), expressing mutual back-and-forth action. This is a verbal strategy (monovalent) and is distinct from the reflexive "zìjǐ".

Example: "dǎ-lái-dǎ-qù" (beat-come-beat-go = 'beat each other') @cite{nordlinger-2023} ex. 13.

The adverb "hùxiāng" ('mutually') can also mark reciprocity but is not the primary morphosyntactic strategy.

structure Fragments.Mandarin.Reciprocals.CompoundRecip : Type

Compound verb pattern for Mandarin reciprocals. The pattern is: V-lái-V-qù (V-come-V-go).

• verb : String
• script : Option String

def Fragments.Mandarin.Reciprocals.instReprCompoundRecip.repr : CompoundRecip → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.Mandarin.Reciprocals.instReprCompoundRecip : Repr CompoundRecip

Equations

• Fragments.Mandarin.Reciprocals.instReprCompoundRecip = { reprPrec := Fragments.Mandarin.Reciprocals.instReprCompoundRecip.repr }

@[implicit_reducible]

instance Fragments.Mandarin.Reciprocals.instBEqCompoundRecip : BEq CompoundRecip

Equations

• Fragments.Mandarin.Reciprocals.instBEqCompoundRecip = { beq := Fragments.Mandarin.Reciprocals.instBEqCompoundRecip.beq }

def Fragments.Mandarin.Reciprocals.instBEqCompoundRecip.beq : CompoundRecip → CompoundRecip → Bool

Equations

• Fragments.Mandarin.Reciprocals.instBEqCompoundRecip.beq { verb := a, script := a_1 } { verb := b, script := b_1 } = (a == b && a_1 == b_1)
• Fragments.Mandarin.Reciprocals.instBEqCompoundRecip.beq x✝¹ x✝ = false

def Fragments.Mandarin.Reciprocals.CompoundRecip.toForm (c : CompoundRecip) : String

Generate the compound reciprocal form.

Equations

• c.toForm = c.verb ++ "-lái-" ++ c.verb ++ "-qù"

def Fragments.Mandarin.Reciprocals.daLaiDaQu : CompoundRecip

dǎ-lái-dǎ-qù — 'beat each other' (@cite{nordlinger-2023} ex. 13).

Equations

• Fragments.Mandarin.Reciprocals.daLaiDaQu = { verb := "dǎ", script := some "打来打去" }

def Fragments.Mandarin.Reciprocals.huxiang : Word

互相 hùxiāng — adverb 'mutually'.

Equations

• Fragments.Mandarin.Reciprocals.huxiang = { form := "hùxiāng", cat := UD.UPOS.ADV }

def Fragments.Mandarin.Reciprocals.ziji : Word

自己 zìjǐ — reflexive pronoun (for contrast).

Equations

• Fragments.Mandarin.Reciprocals.ziji = { form := "zìjǐ", cat := UD.UPOS.PRON, features := { person := some UD.Person.third } }

theorem Fragments.Mandarin.Reciprocals.recip_distinct_from_reflexive : daLaiDaQu.toForm ≠ ziji.form

Compound reciprocal form is distinct from reflexive.