Elkins, Torrence and Brown (2026): Wh-movement paths and adjunct extraction in Mam #
The movement enclitic =(y)a' of San Juan Ostuncalco Mam optionally appears on the predicate, and on any directional auxiliary, when an instrument, benefactive, dative, locative, reason, purpose or manner adjunct is extracted, but not with absolutive or ergative arguments, Aissen's Ergative Extraction Constraint sending the agent through an antipassive, and not with temporals. The enclitic may occur once per Voice⁰ and Dir⁰ of a clause and, in long-distance extraction, once per clause along the dependency: in the embedded clause exactly when that clause is at least VoiceP-sized, so on both predicates over a full CP or an aspectless VoiceP complement, on the matrix predicate only over a nonfinite VP complement, and on the embedded predicate only in an embedded question. Elkins, Torrence and Brown analyse the enclitic as the spellout of Ā-agreement between the extracted adjunct and the [Ā]-bearing heads Voice⁰ and Dir⁰ it passes through under the Relativized-Minimality successive cyclicity of Rizzi and Abels: Attract Closest forces the mover through the specifier of each intervening [Ā]-bearer, each Voice⁰ or Dir⁰ copies the [obl] Case feature the mover receives from its relational noun, and the bundle [Ā, obl] is realized as =(y)a' or as ∅. Mendes and Ranero's rival Chain Reduction via Substitution for the K'ichean fronting particle wi, which spells out lower copies at the base position and at each Spec,CP stopover and so derives the Fronting Particle Generalization, predicts a single reflex within a clause, none in the matrix clause over an aspectless complement, and one inside a nonfinite complement, all contrary to the Mam data; Keine and Zeijlstra's DP-intervention leapfrogging predicts at most one reflex per intervening argument, contrary to a clause with three; and an Agent-Focus-like analysis fails because the enclitic co-occurs with the passive and appears in every clause of the path while the antipassive is confined to the clause of origin. The two systems also differ in which adjuncts trigger the reflex: reasons, purposes and manners do in Mam but are high adjuncts without [appl] in K'ichean, and temporals trigger neither.
Implementation notes #
- Clause sizes are
ClauseSpines, the Mam finite, aspectless and nonfinite clauses of (8) and §3.3–3.4, with the directional headHead.dir, a Mayan-specific category above VoiceP, spliced in byspine. A dependency is the list of clauses the mover crosses, bottom-up; itspathis the [Ā]-bearers of those clauses and itssitesthe Voice and Dir heads among them, so the reflex in a clause is decided by whether the clause projects Voice (licensed_iff_mem_voice). The rival mechanisms are predicates on the same dependencies, and the rows discriminate them. - The Agree-and-insertion step is the substrate's
applyAgreeandsubsetPrincipleover the valued features of a Voice head with an unvalued [oblique] probe and the vocabulary item (46a); the null exponent (46b) is the independent optionality of each site,patterns. - [obl] on the movers is the article's featural hypothesis (§1.3, §4.2, §5.3): relational nouns assign it, the locative and manner wh-words are assumed to acquire it, temporals lack it.
- The examples are
Data.Examples.ElkinsTorrenceBrown2026; the K'ichean rows are Mendes and Ranero's as reported there, and the article's (64), headed K'iche' in the preprint, is Patzún Kaqchikel (Mendes and Ranero's (14a), as the article's own (68) records). The variety is SJO Mam; Scott's San Juan Atitán Mam is a distinct variety.
References #
The extended verbal domain (§1.3) #
A head of the SJO Mam clausal spine is a head of the substrate spine or the directional auxiliary Dir⁰, the Mayan-specific head whose projection dominates VoiceP (8).
- cat (c : Minimalist.Cat) : Head
- dir : Head
Instances For
Equations
- ElkinsTorrenceBrown2026.instDecidableEqHead.decEq (ElkinsTorrenceBrown2026.Head.cat a) (ElkinsTorrenceBrown2026.Head.cat b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqHead.decEq (ElkinsTorrenceBrown2026.Head.cat c) ElkinsTorrenceBrown2026.Head.dir = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqHead.decEq ElkinsTorrenceBrown2026.Head.dir (ElkinsTorrenceBrown2026.Head.cat c) = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqHead.decEq ElkinsTorrenceBrown2026.Head.dir ElkinsTorrenceBrown2026.Head.dir = isTrue ⋯
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
A clause as its projected heads, bottom-up.
Equations
Instances For
A clause of the given size with n directionals above Voice (8). Nonfinite clauses, which lack
Voice, lack directionals (§3.4).
Equations
- One or more equations did not get rendered due to their size.
Instances For
The Mam finite clause of (8), a CP over the aspect layer, Voice, v and V.
Equations
Instances For
The aspectless clause, a VoiceP-sized reduced clause without the aspect layer or C (§3.3).
Equations
Instances For
The nonfinite clause, a VP-sized complement (§3.4).
Equations
- ElkinsTorrenceBrown2026.nonfiniteClause = { heads := [Minimalist.Cat.V] }
Instances For
The reduced K'ichean complement of [MR21b], an AspP without a CP layer (§5.1).
Equations
Instances For
C⁰, Voice⁰ and Dir⁰ bear [Ā], (41) and (44).
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Voice⁰ and Dir⁰ copy the mover's [obl] and host the reflex, (45)–(46), while C⁰ attracts by [Ā] alone, so there is no C-domain reflex.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
The movement path (§4.1–4.3) #
A dependency is the list of clauses the extracted adjunct crosses, bottom-up, the clause of origin first.
Equations
Instances For
The movement path of (43) is the list of [Ā]-bearing heads of the clauses crossed, bottom-up and tagged by clause. By Attract Closest (39) the mover stops in the specifier of each.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The sites of the reflex are the Agree relations with Voice⁰ or Dir⁰ along the path (§4.2).
Equations
- ElkinsTorrenceBrown2026.sites d = List.filter (fun (p : ℕ × ElkinsTorrenceBrown2026.Head) => decide (ElkinsTorrenceBrown2026.HostsReflex p.2)) (ElkinsTorrenceBrown2026.path d)
Instances For
=(y)a' is licensed in clause i of the dependency when the path has a site there.
Equations
- ElkinsTorrenceBrown2026.Licensed d i = (i ∈ List.map Prod.fst (ElkinsTorrenceBrown2026.sites d))
Instances For
Equations
- ElkinsTorrenceBrown2026.instDecidableLicensed d i = { decide := decide (List.elem i (List.map Prod.fst (ElkinsTorrenceBrown2026.sites d)) = true), reflects_decide := ⋯ }
The reflex is licensed in a clause exactly when the clause contains a reflex host: every Voice⁰ or Dir⁰ crossed is an [Ā]-bearer and so a stopover.
A clause of a given size contains a reflex host exactly when the size projects Voice, since directionals come only with Voice.
By Table 3, =(y)a' is licensed in a clause of the dependency exactly when that clause's size projects Voice, so in full CP and aspectless complements but not in nonfinite ones (§3.3–3.4, §4.3).
Multiple exponence (§3.1, §5.2) #
Within a clause the sites are Voice⁰ and each directional, n + 1 of them (45).
In (46b) each site is independently realized as =(y)a' or as ∅, so the surface patterns of a dependency are the sublists of its sites.
Equations
- ElkinsTorrenceBrown2026.patterns d = (ElkinsTorrenceBrown2026.sites d).sublists
Instances For
In (22), with one directional, the enclitic may appear on both hosts, on neither, or on either alone, four combinations.
In (63), with two directionals, there are three sites although the intransitive clause has a single argument DP, so leapfrogging over intervening DPs ([KZ25]) yields too few stopovers (§5.2).
The rival mechanisms (§3.6, §5.1) #
Under Chain Reduction via Substitution (55)–(57), the reflex spells out the lower copies of the mover, the base copy in the clause of origin and the intermediate copy in each Spec,CP crossed, which linearizes onto the predicate of the next clause up.
Equations
- ElkinsTorrenceBrown2026.CopyLicensed d i = (i = 0 ∨ 0 < i ∧ i < List.length d ∧ ElkinsTorrenceBrown2026.Head.cat Minimalist.Cat.C ∈ List.getD d (i - 1) [])
Instances For
Equations
- One or more equations did not get rendered due to their size.
By the Fronting Particle Generalization (54), over a single embedded clause the matrix reflex is contingent on the embedded clause projecting C.
Applied to Mam, copy spellout allows a single reflex in a monoclausal dependency, whereas Ā-agreement gives one per Voice⁰ and Dir⁰ (§3.1, §5.1).
Over an aspectless complement (31), copy spellout predicts no matrix reflex, since the complement has no Spec,CP, whereas Ā-agreement predicts one at the matrix Voice⁰.
Over a nonfinite complement (34), copy spellout predicts a reflex in the complement, where the base copy sits, whereas Ā-agreement finds no Voice⁰ there.
Conversely, Ā-agreement through the verbal domain would put a matrix reflex over a K'ichean AspP complement, (53), against the Fronting Particle Generalization; copy spellout does not.
An Agent-Focus-like reflex is confined to the clause of origin, as the antipassive is in (38); =(y)a' is licensed in every clause of the path, (24).
Which movers trigger the reflex (§2, §5.3) #
The extracted element, if any, is an absolutive or an ergative argument, a dative, the recipient that a relational noun introduces (§2.2.2), or an adjunct.
Instances For
Equations
- One or more equations did not get rendered due to their size.
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.none ElkinsTorrenceBrown2026.Mover.none = isTrue ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.none ElkinsTorrenceBrown2026.Mover.dative = isFalse ElkinsTorrenceBrown2026.instDecidableEqMover.decEq._proof_5
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.none (ElkinsTorrenceBrown2026.Mover.adjunct a) = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.absolutive ElkinsTorrenceBrown2026.Mover.absolutive = isTrue ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.absolutive (ElkinsTorrenceBrown2026.Mover.adjunct a) = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.ergative ElkinsTorrenceBrown2026.Mover.ergative = isTrue ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.ergative (ElkinsTorrenceBrown2026.Mover.adjunct a) = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.dative ElkinsTorrenceBrown2026.Mover.none = isFalse ElkinsTorrenceBrown2026.instDecidableEqMover.decEq._proof_15
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.dative ElkinsTorrenceBrown2026.Mover.dative = isTrue ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq ElkinsTorrenceBrown2026.Mover.dative (ElkinsTorrenceBrown2026.Mover.adjunct a) = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq (ElkinsTorrenceBrown2026.Mover.adjunct a) ElkinsTorrenceBrown2026.Mover.none = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq (ElkinsTorrenceBrown2026.Mover.adjunct a) ElkinsTorrenceBrown2026.Mover.absolutive = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq (ElkinsTorrenceBrown2026.Mover.adjunct a) ElkinsTorrenceBrown2026.Mover.ergative = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq (ElkinsTorrenceBrown2026.Mover.adjunct a) ElkinsTorrenceBrown2026.Mover.dative = isFalse ⋯
- ElkinsTorrenceBrown2026.instDecidableEqMover.decEq (ElkinsTorrenceBrown2026.Mover.adjunct a) (ElkinsTorrenceBrown2026.Mover.adjunct b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
- ElkinsTorrenceBrown2026.instFintypeMover = Fintype.ofEquiv (Unit ⊕ Unit ⊕ Unit ⊕ Unit ⊕ Mayan.Adjunct) ElkinsTorrenceBrown2026.Mover.proxyTypeEquiv
By the article's featural hypothesis ((9), footnotes 3 and 12, §5.3), a dative and every adjunct but the temporals bear the [obl] Case feature that Voice⁰ and Dir⁰ copy, while absolutives and ergatives lack it (§4.2).
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
- ElkinsTorrenceBrown2026.instDecidablePredMoverBearsObl ElkinsTorrenceBrown2026.Mover.dative = { decide := true, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverBearsObl._proof_1 }
- ElkinsTorrenceBrown2026.instDecidablePredMoverBearsObl (ElkinsTorrenceBrown2026.Mover.adjunct a) = { decide := !decide (a = Mayan.Adjunct.temporal), reflects_decide := ⋯ }
- ElkinsTorrenceBrown2026.instDecidablePredMoverBearsObl ElkinsTorrenceBrown2026.Mover.none = { decide := false, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverBearsObl._proof_3 }
[MR21b]'s low movers, the dative and the instrument, benefactive and locative adjuncts, are merged in Spec,ApplP with [appl], which alone triggers wi (§5.3).
Equations
- ElkinsTorrenceBrown2026.Mover.dative.IsLow = True
- (ElkinsTorrenceBrown2026.Mover.adjunct a).IsLow = (a = Mayan.Adjunct.instrument ∨ a = Mayan.Adjunct.benefactive ∨ a = Mayan.Adjunct.locative)
- ElkinsTorrenceBrown2026.Mover.none.IsLow = False
- ElkinsTorrenceBrown2026.Mover.absolutive.IsLow = False
- ElkinsTorrenceBrown2026.Mover.ergative.IsLow = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
- ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow ElkinsTorrenceBrown2026.Mover.dative = { decide := true, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow._proof_1 }
- ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow ElkinsTorrenceBrown2026.Mover.none = { decide := false, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow._proof_3 }
- ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow ElkinsTorrenceBrown2026.Mover.absolutive = { decide := false, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow._proof_4 }
- ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow ElkinsTorrenceBrown2026.Mover.ergative = { decide := false, reflects_decide := ElkinsTorrenceBrown2026.instDecidablePredMoverIsLow._proof_5 }
By Table 4, the Mam and K'ichean triggers differ exactly at reasons, purposes and manners.
The reflex is realizable in clause i when the mover bears [obl] and the path has a site
there.
Equations
- ElkinsTorrenceBrown2026.Realizable m d i = (m.BearsObl ∧ ElkinsTorrenceBrown2026.Licensed d i)
Instances For
Equations
- ElkinsTorrenceBrown2026.instDecidableRealizable m d i = { decide := decide m.BearsObl && decide (ElkinsTorrenceBrown2026.Licensed d i), reflects_decide := ⋯ }
An extracted argument is absolutive unless it is the transitive subject, which the antipassive demotes, or the recipient, a dative; an extracted adjunct is that adjunct.
Equations
- ElkinsTorrenceBrown2026.Mover.ofSite (Mayan.ExtractionSite.argument ArgumentRole.A) = ElkinsTorrenceBrown2026.Mover.ergative
- ElkinsTorrenceBrown2026.Mover.ofSite (Mayan.ExtractionSite.argument ArgumentRole.R) = ElkinsTorrenceBrown2026.Mover.dative
- ElkinsTorrenceBrown2026.Mover.ofSite (Mayan.ExtractionSite.argument r) = ElkinsTorrenceBrown2026.Mover.absolutive
- ElkinsTorrenceBrown2026.Mover.ofSite (Mayan.ExtractionSite.adjunct a) = ElkinsTorrenceBrown2026.Mover.adjunct a
Instances For
At every extraction site the analysis licenses the enclitic on the verbal complex exactly when the Mam fragment does, the mover bearing [obl] and the clause of origin projecting Voice.
The K'iche' fragment puts wi on the verbal complex exactly for the low movers, Agent Focus being a reflex on the verb (§5.1, §5.3).
The Kaqchikel fragment marks every extraction but the transitive subject's as the K'iche' one does, the pattern of the K'ichean rows (51) and (64).
Agree and insertion (§4.2) #
Voice⁰ of the analysis is an [Ā]-bearing head with an unvalued [oblique] probe that Agree with the mover values, (45a).
Equations
- One or more equations did not get rendered due to their size.
Instances For
The vocabulary item (46a) realizes the valued [obl] on Voice⁰ or Dir⁰.
Equations
Instances For
Agree with an [obl] mover followed by insertion yields the enclitic.
A mover without [obl], an absolutive argument or a temporal, transmits nothing to Voice⁰.
The rows (§2, §3, §5) #
The movers as named in the rows.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Whether the reflex may appear, as recorded in the rows.
Equations
- ElkinsTorrenceBrown2026.reflexTable = [("licensed", true), ("blocked", false)]
Instances For
In the monoclausal Mam rows of §2 and §3.5–3.6, the enclitic is licensed exactly for the movers bearing [obl].
In the K'ichean rows, (51) for K'iche' and (64) for Patzún Kaqchikel, wi is licensed exactly for the low adjuncts.
The rows with directionals, (22) and (63), have one host per Voice⁰ and directional.
The clause sizes as named in the rows.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The dependency of a long-distance row: the embedded clause and, when the wh-expression lands in the matrix clause, the full-CP matrix clause above it.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The long-distance Mam rows (24), (26), (31) and (34), Table 3: the reflex in each clause follows from Ā-agreement along the path.
The long-distance K'iche' rows (52) and (53) follow from copy spellout.