K'iche' extraction marking

The extraction marking of K'iche' (K'ichean Mayan) as reflex cells: subject extraction switches the verb to Agent Focus, the voice marker -n ([mondloch-2017]), and the extraction of a low adjunct adds the fronting particle wi to the verbal complex ([mendes-ranero-2021]); core-object extraction is unmarked. The distribution of wi across adjunct types and clause sizes, and its contrast with Mam =(y)a', is the matter of Studies/ElkinsTorrenceBrown2026.lean.

References

• [mendes-ranero-2021]
• [mondloch-2017]
• [elkins-torrence-brown-2026]

inductive Kiche.Extraction.Site : Type

Reflex host of K'iche' extraction marking: the verbal complex.

• verb : Site

@[instance_reducible]

instance Kiche.Extraction.instDecidableEqSite : DecidableEq Site

Equations

• Kiche.Extraction.instDecidableEqSite x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Kiche.Extraction.instReprSite.repr : Site → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Kiche.Extraction.instReprSite : Repr Site

Equations

• Kiche.Extraction.instReprSite = { reprPrec := Kiche.Extraction.instReprSite.repr }

def Kiche.Extraction.realize : Extraction.ExtractionTarget → List (Features.Reflex Site)

The two marked cells: subject extraction takes Agent Focus, oblique extraction adds wi; core-object extraction is unmarked.

Equations

• Kiche.Extraction.realize Extraction.ExtractionTarget.subject = [Features.Reflex.morpheme Kiche.Extraction.Site.verb]
• Kiche.Extraction.realize Extraction.ExtractionTarget.oblique = [Features.Reflex.morpheme Kiche.Extraction.Site.verb]
• Kiche.Extraction.realize x✝ = []

def Kiche.Extraction.strategy : Extraction.ExtractionMarkingStrategy

WALS-style label: dedicated morphemes mark extraction.

Equations

• Kiche.Extraction.strategy = Extraction.ExtractionMarkingStrategy.dedicatedMorpheme

theorem Kiche.Extraction.marks_oblique : Extraction.Marked realize Extraction.ExtractionTarget.oblique