Mam extraction marking #

The extraction marking of Mam (Mayan, Western Highlands of Guatemala) as reflex cells: subject (ergative) extraction switches the verb to an antipassive, the Mayan repair for the Ergative Extraction Constraint ([aissen-2017]; the San Juan Atitán forms in [scott-2023]), oblique extraction places the movement enclitic =(y)a' on the Voice or directional head of the verbal complex ([england-1989], [elkins-torrence-brown-2026]), and absolutive extraction is unmarked. The distribution of the enclitic across adjunct types, clause sizes and movement paths is the matter of Studies/ElkinsTorrenceBrown2026.lean.

References #

[elkins-torrence-brown-2026]
[england-1989]
[scott-2023]
[aissen-2017]

source

inductive Mam.Extraction.Site :

Type

Reflex hosts of Mam extraction marking: the verb, and the Voice or directional head hosting =(y)a'.

verb : Site
voiceHead : Site

Instances For

source

@[instance_reducible]

instance Mam.Extraction.instDecidableEqSite :

DecidableEq Site

Equations

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

source

@[instance_reducible]

instance Mam.Extraction.instReprSite :

Repr Site

Equations

Mam.Extraction.instReprSite = { reprPrec := Mam.Extraction.instReprSite.repr }

source

def Mam.Extraction.instReprSite.repr :

Site → ℕ → Std.Format

Equations

One or more equations did not get rendered due to their size.
Mam.Extraction.instReprSite.repr Mam.Extraction.Site.verb prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mam.Extraction.Site.verb")).group prec✝

Instances For

source

def Mam.Extraction.realize :

Extraction.ExtractionTarget → List (Features.Reflex Site)

The two marked cells: subject extraction antipassivizes the verb, oblique extraction places =(y)a' on a Voice or directional head; core-object extraction is unmarked.

Equations