Turkish Question Particle Fragment

@cite{fox-katzir-2011} @cite{turk-hirsch-2026}

Turkish polar question particle mI (with vowel-harmony allomorphs mı/mi/mu/mü). Following Turk, Hirsch & İnce (2026), mI heads PolP and bears focus (Σ_F). Its UPOS category is PART, which is crucial for category-match alternative computation: modals are AUX, so category match excludes them from mI's alternatives.

structure Fragments.Turkish.QuestionParticles.TurkishQParticle : Type

Turkish question particle entry.

• form : String

  Citation form

• allomorphs : List String

  Vowel-harmony allomorphs

• cat : UD.UPOS

  UPOS category (particle)

• layer : Semantics.Questions.QParticleLayer

  Position in the left periphery

• isIdentity : Bool

  Semantic contribution: identity on propositions (Σ)

instance Fragments.Turkish.QuestionParticles.instReprTurkishQParticle : Repr TurkishQParticle

Equations

• Fragments.Turkish.QuestionParticles.instReprTurkishQParticle = { reprPrec := Fragments.Turkish.QuestionParticles.instReprTurkishQParticle.repr }

def Fragments.Turkish.QuestionParticles.instReprTurkishQParticle.repr : TurkishQParticle → ℕ → Std.Format

Equations

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

def Fragments.Turkish.QuestionParticles.mi : TurkishQParticle

Turkish mI: polarity head with identity semantics. Heads PolP, bears focus (Σ_F). Category PART restricts alternatives to {Σ, NEG} under category match, excluding AUX-tagged modals.

Equations

• Fragments.Turkish.QuestionParticles.mi = { form := "mI", allomorphs := ["mı", "mi", "mu", "mü"], cat := UD.UPOS.PART, layer := Semantics.Questions.QParticleLayer.polP, isIdentity := true }

theorem Fragments.Turkish.QuestionParticles.mi_is_part : mi.cat = UD.UPOS.PART

mI is a particle.

theorem Fragments.Turkish.QuestionParticles.mi_is_polP : mi.layer = Semantics.Questions.QParticleLayer.polP

mI resides in PolP.