Mandarin Discourse Particles

@cite{ippolito-kiss-williams-2025}

Lexical entry for Mandarin zhǐshì (只是) — the discourse only connective. Allows all clause types as S' except exclamatives.

structure Fragments.Mandarin.DiscourseParticles.DiscourseOnlyParticle : Type

A discourse only particle entry.

• form : String
• nativeForm : String
• gloss : String

instance Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle : Repr DiscourseOnlyParticle

Equations

• Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle = { reprPrec := Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle.repr }

def Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle.repr : DiscourseOnlyParticle → Nat → Std.Format

Equations

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

instance Fragments.Mandarin.DiscourseParticles.instDecidableEqDiscourseOnlyParticle : DecidableEq DiscourseOnlyParticle

Equations

• Fragments.Mandarin.DiscourseParticles.instDecidableEqDiscourseOnlyParticle = Fragments.Mandarin.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq

def Fragments.Mandarin.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq (x✝ x✝¹ : DiscourseOnlyParticle) : Decidable (x✝ = x✝¹)

Equations

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

def Fragments.Mandarin.DiscourseParticles.instBEqDiscourseOnlyParticle.beq : DiscourseOnlyParticle → DiscourseOnlyParticle → Bool

Equations

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

instance Fragments.Mandarin.DiscourseParticles.instBEqDiscourseOnlyParticle : BEq DiscourseOnlyParticle

Equations

• Fragments.Mandarin.DiscourseParticles.instBEqDiscourseOnlyParticle = { beq := Fragments.Mandarin.DiscourseParticles.instBEqDiscourseOnlyParticle.beq }

def Fragments.Mandarin.DiscourseParticles.zhishi : DiscourseOnlyParticle

Mandarin zhǐshì (只是) — blocks exclamative S'.

Equations

• Fragments.Mandarin.DiscourseParticles.zhishi = { form := "zhǐshì", nativeForm := "只是", gloss := "only (just)" }