Macedonian Question Particles

@cite{simik-2024}

Lexical entries for Macedonian interrogative particles.

Particles

Particle	Romanization	Gloss	Layer	Bias
дали	dali	neutral PQ	CP	none

Macedonian dali can introduce negative PQs without triggering epistemic bias, unlike Bulgarian li (@cite{simik-2024} ex. 32). Mitkovska, Bužarovska & Saračević (2024) contrast dali with biased particles zar and neli.

Cross-Module Connections

• SlavicPQStrategies.macedonian: PQ strategy profile (negationTriggersBias = false)

structure Fragments.Macedonian.QuestionParticles.QParticleEntry : Type

A Macedonian interrogative particle entry.

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

  Does adding negation to the PQ trigger epistemic bias?

instance Fragments.Macedonian.QuestionParticles.instReprQParticleEntry : Repr QParticleEntry

Equations

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

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

Equations

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

instance Fragments.Macedonian.QuestionParticles.instDecidableEqQParticleEntry : DecidableEq QParticleEntry

Equations

• Fragments.Macedonian.QuestionParticles.instDecidableEqQParticleEntry = Fragments.Macedonian.QuestionParticles.instDecidableEqQParticleEntry.decEq

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

Equations

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

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

Equations

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

instance Fragments.Macedonian.QuestionParticles.instBEqQParticleEntry : BEq QParticleEntry

Equations

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

def Fragments.Macedonian.QuestionParticles.dali : QParticleEntry

дали dali — clause-initial PQ particle (@cite{simik-2024} ex. 32). Unlike Bulgarian li, dali + negation is unbiased.

Equations

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

def Fragments.Macedonian.QuestionParticles.allQuestionParticles : List QParticleEntry

Equations

• Fragments.Macedonian.QuestionParticles.allQuestionParticles = [Fragments.Macedonian.QuestionParticles.dali]

theorem Fragments.Macedonian.QuestionParticles.dali_neutral : dali.requiresEvidentialBias = false ∧ dali.requiresEpistemicBias = false

theorem Fragments.Macedonian.QuestionParticles.dali_neg_unbiased : dali.negationTriggersBias = false

dali + negation does NOT trigger bias (unlike Bulgarian li). This is the key Macedonian-Bulgarian contrast (@cite{simik-2024} ex. 32).