Kaqchikel Extraction Morphology (Agent Focus)

Theory-neutral extraction-marking data for Kaqchikel (K'ichean, Mayan), from the Patzún variety described by [Erl16]. Agent Focus (AF) is the dedicated verb form marking local Ā-extraction of the transitive subject: the suffix -ö or -n, with no Set A slot. Patient extraction never triggers it, long-distance subject extraction triggers it on the embedded verb only, intervening preverbal material obviates it, and when both arguments are 1st/2nd person the full-agreement transitive appears even under subject extraction. Intransitive verbs never undergo AF, so the marked "subject" is A, not S.

Main declarations

• Kaqchikel.Extraction.realize: the overt reflexes of extraction from each target position, with Kaqchikel.Extraction.strategy as the WALS-style label.

Implementation notes

The verb form AF alternates on is the pan-Mayan Mayan.VerbForm (Fragments/Mayan/Params.lean); the AF agreement paradigm is in Agreement.lean; the focus construction's realization, with AF as its verb-hosted reflex, is in Focus.lean; the interpreting OT and Voice analyses live in Studies/Erlewine2016.lean and Studies/CoonMateoPedroPreminger2014.lean.

inductive Kaqchikel.Extraction.Site : Type

Reflex hosts for Kaqchikel extraction marking.

• verb : Site

@[implicit_reducible]

instance Kaqchikel.Extraction.instDecidableEqSite : DecidableEq Site

Equations

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

@[implicit_reducible]

instance Kaqchikel.Extraction.instReprSite : Repr Site

Equations

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

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

Equations

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

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

Transitive-subject extraction switches the verb to AF (the suffix -ö or -n, with Set A suppressed, [Erl16]); nothing else is marked.

Equations

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

def Kaqchikel.Extraction.strategy : Extraction.ExtractionMarkingStrategy

WALS-style label: a dedicated morpheme marks extraction.

Equations

• Kaqchikel.Extraction.strategy = Extraction.ExtractionMarkingStrategy.dedicatedMorpheme