Slovenian Question Particles

@cite{simik-2024}

Lexical entries for Slovenian interrogative particles.

Particles

Particle	Gloss	Layer	Bias
ali	neutral PQ	CP	none

ali is a clause-initial particle, optional in default PQs. Incompatible with DeclPQs (@cite{simik-2024} ex. 28).

Cross-Module Connections

• SlavicPQStrategies.slovenian: PQ strategy profile

structure Fragments.Slovenian.QuestionParticles.QParticleEntry : Type

A Slovenian interrogative particle entry.

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

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

Equations

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

instance Fragments.Slovenian.QuestionParticles.instReprQParticleEntry : Repr QParticleEntry

Equations

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

instance Fragments.Slovenian.QuestionParticles.instDecidableEqQParticleEntry : DecidableEq QParticleEntry

Equations

• Fragments.Slovenian.QuestionParticles.instDecidableEqQParticleEntry = Fragments.Slovenian.QuestionParticles.instDecidableEqQParticleEntry.decEq

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

Equations

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

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

Equations

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

instance Fragments.Slovenian.QuestionParticles.instBEqQParticleEntry : BEq QParticleEntry

Equations

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

def Fragments.Slovenian.QuestionParticles.ali : QParticleEntry

ali — clause-initial PQ particle (@cite{simik-2024} ex. 28). Optional; incompatible with DeclPQs. No bias requirements.

Equations

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

def Fragments.Slovenian.QuestionParticles.allQuestionParticles : List QParticleEntry

Equations

• Fragments.Slovenian.QuestionParticles.allQuestionParticles = [Fragments.Slovenian.QuestionParticles.ali]

theorem Fragments.Slovenian.QuestionParticles.ali_neutral : ali.requiresEvidentialBias = false ∧ ali.requiresEpistemicBias = false