Slovene question particles

Slovene polar questions may be introduced by the clause-initial particle ali, optional in the default quiz question ([Sim24] ex. 28), or by the colloquial a and kaj, neutral yet excluded from the quiz scenario ([Sim24] §4.1). The strategy profile is in Studies/Simik2024.lean.

References

• [Sim24]

def Slovenian.QuestionParticles.ali : Particle

ali, the clause-initial polar question particle.

Equations

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

def Slovenian.QuestionParticles.a : Particle

a, the colloquial clause-initial polar question particle.

Equations

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

def Slovenian.QuestionParticles.kaj : Particle

kaj (literally 'what'), the colloquial clause-initial polar question particle.

Equations

• Slovenian.QuestionParticles.kaj = { form := "kaj", position := some Particle.Position.clauseInitial, distribution := Slovenian.QuestionParticles.a.distribution }