Documentation

Linglib.Fragments.Mandarin.DiscourseParticles

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.

source
structure Fragments.Mandarin.DiscourseParticles.DiscourseOnlyParticle :
Type

A discourse only particle entry.

  • form : String
  • nativeForm : String
  • gloss : String
Instances For
    source
    @[implicit_reducible]
    instance Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle :
    Repr DiscourseOnlyParticle
    Equations
    source
    def Fragments.Mandarin.DiscourseParticles.instReprDiscourseOnlyParticle.repr :
    DiscourseOnlyParticle → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      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.
      Instances For
        source
        @[implicit_reducible]
        instance Fragments.Mandarin.DiscourseParticles.instDecidableEqDiscourseOnlyParticle :
        DecidableEq DiscourseOnlyParticle
        Equations
        source
        def Fragments.Mandarin.DiscourseParticles.zhishi :
        DiscourseOnlyParticle

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

        Equations
        Instances For