Q-Particle Layer Feature

@cite{dayal-2025} @cite{turk-hirsch-2026}

A typological feature classifying Q-particles by their position in the left periphery. Used cross-paper by typological work on question particles (Bhatt-Dayal 2020, Theiler 2021, Simik 2024, Zheng 2025, Seeliger-Repp 2018).

Lives in Features/ (not Theories/Semantics/Questions/) because it is a feature taxonomy with no semantic commitments — sibling of Polarity, Mood, Evidentiality.

inductive Features.QParticleLayer : Type

Where in the left periphery a Q-particle resides.

• cp : QParticleLayer
• perspP : QParticleLayer
• sap : QParticleLayer
• polP : QParticleLayer

@[implicit_reducible]

instance Features.instDecidableEqQParticleLayer : DecidableEq QParticleLayer

Equations

• Features.instDecidableEqQParticleLayer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Features.instReprQParticleLayer : Repr QParticleLayer

Equations

• Features.instReprQParticleLayer = { reprPrec := Features.instReprQParticleLayer.repr }

def Features.instReprQParticleLayer.repr : QParticleLayer → Nat → Std.Format

Equations

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