Russian Discourse Particles

@cite{ippolito-kiss-williams-2025}

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

structure Fragments.Russian.DiscourseParticles.DiscourseOnlyParticle : Type

A discourse only particle entry.

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

instance Fragments.Russian.DiscourseParticles.instReprDiscourseOnlyParticle : Repr DiscourseOnlyParticle

Equations

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

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

Equations

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

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

Equations

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

instance Fragments.Russian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle : DecidableEq DiscourseOnlyParticle

Equations

• Fragments.Russian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle = Fragments.Russian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq

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

Equations

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

instance Fragments.Russian.DiscourseParticles.instBEqDiscourseOnlyParticle : BEq DiscourseOnlyParticle

Equations

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

def Fragments.Russian.DiscourseParticles.tolko : DiscourseOnlyParticle

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

Equations

• Fragments.Russian.DiscourseParticles.tolko = { form := "tol'ko", nativeForm := "только", gloss := "only" }