Russian Question Particles

@cite{esipova-romero-2023} @cite{simik-2024}

Lexical entries for Russian interrogative particles with distributional properties and bias profiles.

Particles

Particle	Romanization	Gloss	Layer	Bias
ли	li	neutral PQ	CP	none
разве	razve	RAZVE (mirative)	PerspP	+evidential

Cross-Module Connections

• SlavicPQStrategies.russian: PQ strategy profile (intonation default, li formal)
• SlavicPQStrategies.razve: bias particle data (outerNeg/innerNeg)
• Bridge theorems in SlavicPQStrategies (Phenomena imports Fragments)

structure Fragments.Russian.QuestionParticles.QParticleEntry : Type

A Russian interrogative particle entry.

• form : String
• romanization : String
• gloss : String
• layer : Semantics.Questions.QParticleLayer
• polarOk : Bool
• declOk : Bool
• whOk : Bool
• requiresEvidentialBias : Bool
• requiresEpistemicBias : Bool

instance Fragments.Russian.QuestionParticles.instReprQParticleEntry : Repr QParticleEntry

Equations

• Fragments.Russian.QuestionParticles.instReprQParticleEntry = { reprPrec := Fragments.Russian.QuestionParticles.instReprQParticleEntry.repr }

def Fragments.Russian.QuestionParticles.instReprQParticleEntry.repr : QParticleEntry → Nat → Std.Format

Equations

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

instance Fragments.Russian.QuestionParticles.instDecidableEqQParticleEntry : DecidableEq QParticleEntry

Equations

• Fragments.Russian.QuestionParticles.instDecidableEqQParticleEntry = Fragments.Russian.QuestionParticles.instDecidableEqQParticleEntry.decEq

def Fragments.Russian.QuestionParticles.instDecidableEqQParticleEntry.decEq (x✝ x✝¹ : QParticleEntry) : Decidable (x✝ = x✝¹)

Equations

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

instance Fragments.Russian.QuestionParticles.instBEqQParticleEntry : BEq QParticleEntry

Equations

• Fragments.Russian.QuestionParticles.instBEqQParticleEntry = { beq := Fragments.Russian.QuestionParticles.instBEqQParticleEntry.beq }

def Fragments.Russian.QuestionParticles.instBEqQParticleEntry.beq : QParticleEntry → QParticleEntry → Bool

Equations

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

def Fragments.Russian.QuestionParticles.li : QParticleEntry

ли li — neutral polar question particle (formal register). Verb-attached enclitic, cliticizes onto the focused constituent. Rare in spoken Russian (only 6/500 PQs in Onoeva & Staňková corpus). CP-layer: basic clause-typing function.

Equations

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

def Fragments.Russian.QuestionParticles.razve_ : QParticleEntry

разве razve — mirative/dubitative question particle (@cite{simik-2024} §4.2.4). Indicates conflict between speaker's prior epistemic state and current contextual evidence. Compatible with both outer and inner negation.

Equations

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

def Fragments.Russian.QuestionParticles.allQuestionParticles : List QParticleEntry

Equations

• Fragments.Russian.QuestionParticles.allQuestionParticles = [Fragments.Russian.QuestionParticles.li, Fragments.Russian.QuestionParticles.razve_]

theorem Fragments.Russian.QuestionParticles.li_neutral : li.requiresEvidentialBias = false ∧ li.requiresEpistemicBias = false

theorem Fragments.Russian.QuestionParticles.razve_evidential : razve_.requiresEvidentialBias = true

theorem Fragments.Russian.QuestionParticles.razve_no_epistemic : razve_.requiresEpistemicBias = false

theorem Fragments.Russian.QuestionParticles.bias_contrast : li.requiresEvidentialBias = false ∧ razve_.requiresEvidentialBias = true

li and razve form a neutral/evidential contrast (like Mandarin ma/nandao).