Documentation

Linglib.Fragments.Slavic.Russian.DiscourseParticles

Russian Discourse Particles #

@cite{ippolito-kiss-williams-2025}

Lexical entry for Russian tol'ko (только) — the discourse only connective. Allows all clause types as S'.

source
structure Fragments.Slavic.Russian.DiscourseParticles.DiscourseOnlyParticle :
Type

A discourse only particle entry.

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

        Russian tol'ko (только) — allows all clause types as S'.

        Equations
        Instances For