Bulgarian Question Particles

@cite{simik-2024}

Lexical entries for Bulgarian interrogative particles.

Particles

Particle	Romanization	Gloss	Layer	Bias
ли	li	neutral PQ	CP	none
нима	nima	RAZVE (mirative)	PerspP	+evidential

Cross-Module Connections

• SlavicPQStrategies.bulgarian: PQ strategy profile (verb-attached li)
• Cross-Slavic RAZVE family: nima is the Bulgarian member
• Dukova-Zheleva: nima expresses incredulity/surprise

structure Fragments.Bulgarian.QuestionParticles.QParticleEntry : Type

A Bulgarian 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.Bulgarian.QuestionParticles.instReprQParticleEntry : Repr QParticleEntry

Equations

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

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

Equations

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

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

Equations

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

instance Fragments.Bulgarian.QuestionParticles.instDecidableEqQParticleEntry : DecidableEq QParticleEntry

Equations

• Fragments.Bulgarian.QuestionParticles.instDecidableEqQParticleEntry = Fragments.Bulgarian.QuestionParticles.instDecidableEqQParticleEntry.decEq

instance Fragments.Bulgarian.QuestionParticles.instBEqQParticleEntry : BEq QParticleEntry

Equations

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

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

Equations

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

def Fragments.Bulgarian.QuestionParticles.li : QParticleEntry

ли li — verb-attached neutral PQ particle (@cite{simik-2024} ex. 33). Encliticizes onto the focused constituent.

Equations

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

def Fragments.Bulgarian.QuestionParticles.nima : QParticleEntry

нима nima — mirative/dubitative particle (RAZVE family, @cite{simik-2024} §4.2.4). Expresses incredulity: speaker encounters evidence conflicting with prior expectations (Dukova-Zheleva).

Equations

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

def Fragments.Bulgarian.QuestionParticles.allQuestionParticles : List QParticleEntry

Equations

• Fragments.Bulgarian.QuestionParticles.allQuestionParticles = [Fragments.Bulgarian.QuestionParticles.li, Fragments.Bulgarian.QuestionParticles.nima]

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

theorem Fragments.Bulgarian.QuestionParticles.nima_evidential : nima.requiresEvidentialBias = true

theorem Fragments.Bulgarian.QuestionParticles.bias_contrast : li.requiresEvidentialBias = false ∧ nima.requiresEvidentialBias = true

li and nima form a neutral/evidential contrast.