Linearization of Complex Modifiers: (Dis)obeying the Head-Final Filter

@cite{alexeyenko-zeijlstra-2025}

The Head-Final Filter (HFF, Williams 1982) states that prenominal modifiers must not contain post-head material. @cite{alexeyenko-zeijlstra-2025} show that the HFF both overgenerates (Greek and Russian allow A–XP–N) and undergenerates (Basque and Chácobo display mirror-HFF effects).

They propose the Modifier-Noun Adjacency Generalization (MAG) (34): an XP can intervene between N and its modifying adjective A only if

(a) A has an overt agreement marker that is also present on the predicative form of A and specified for all φ/κ-features in the DP, or (b) A has an overt attributive marker morphophonologically independent of A (adjectival clitic or free word) or forming a morphophonological unit with N.

The MAG is derived from two independent factors:

1. Feature composition (§5.1): φ/κ-completeness of adjectives determines whether an attributivizer is needed for modification
2. Morphophonological status of Attr (§5.2): affixal Attr must be adjacent to its host (ICP, @cite{ackema-neeleman-2004}), while clitic/free-word Attr imposes no adjacency

We formalize the MAG as a decision procedure matching the paper's decision trees (44)/(45), encode 24 languages from Table 3, and verify that the MAG correctly predicts all of them while the HFF fails for 11. Bridge theorems connect to WALS F87A and Minimalist feature infrastructure.

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.interventionGeometryExists (prof : Minimalism.Modification.AdjMorphProfile) : Bool

Does the combination of adjective position and AP-internal direction create a configuration where XP could intervene between A and N? Prenominal A–XP–N requires head-initial AP; postnominal N–XP–A requires head-final AP. This is the prerequisite checked at the top of both decision trees (44) and (45).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magConditionA (prof : Minimalism.Modification.AdjMorphProfile) : Bool

MAG condition (a) (34a): adjectives have identical, fully specified φ/κ-agreement in both predicative and attributive use.

Equations

• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magConditionA prof = (prof.predAttrSameAgreement && prof.agreementPhiKappaComplete)

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magConditionB (prof : Minimalism.Modification.AdjMorphProfile) : Bool

MAG condition (b) (34b): the attributivizer is morphophonologically independent of the adjective.

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magLicensesIntervention (prof : Minimalism.Modification.AdjMorphProfile) : Bool

MAG licensing: does the language's morphosyntax permit intervention when geometry supports it? Disjunction of conditions (a) and (b).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.interventionPredicted (prof : Minimalism.Modification.AdjMorphProfile) : Bool

MAG prediction: intervention is observed iff geometry exists AND MAG conditions license it.

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.prenominalTree (prof : Minimalism.Modification.AdjMorphProfile) : Bool

Decision tree (44), p. 24: Is A–XP–N possible in prenominal APs?

1. Is AP-internal order head-initial (A–XP)? NO → trivially HFF (Japanese)
2. Are pred & attr φ/κ-complete? YES → intervention OK (Greek)
3. Is Attr a clitic/free word? YES → intervention OK (Tagalog) NO → adjacency forced (German, English)

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.postnominalTree (prof : Minimalism.Modification.AdjMorphProfile) : Bool

Decision tree (45), p. 25: Is N–XP–A possible in postnominal APs? Mirror of (44).

Equations

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

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.decisionTrees_equiv_mag (prof : Minimalism.Modification.AdjMorphProfile) : interventionPredicted prof = match prof.adjPosition with | Minimalism.Modification.AdjPosition.prenominal => prenominalTree prof | Minimalism.Modification.AdjPosition.postnominal => postnominalTree prof | Minimalism.Modification.AdjPosition.both => prenominalTree prof || postnominalTree prof

The decision trees are equivalent to interventionPredicted.

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek : Minimalism.Modification.AdjMorphProfile

Greek: pred & attr identically inflected for gender, number, case (37). Both are fully φ/κ-specified. MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.russian : Minimalism.Modification.AdjMorphProfile

Russian: long forms fully φ/κ-marked; used in both pred & attr positions. Short forms are pred-only and irrelevant (Table 4). (24), (39). MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.bulgarian : Minimalism.Modification.AdjMorphProfile

Bulgarian: affixal agreement, pred & attr identical for φ/κ. MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.polish : Minimalism.Modification.AdjMorphProfile

Polish: fully inflected pred & attr, like Russian. MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.lithuanian : Minimalism.Modification.AdjMorphProfile

Lithuanian: affixal φ/κ-agreement on pred & attr alike. MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.latin : Minimalism.Modification.AdjMorphProfile

Latin: full φ/κ-marking (gender, number, case) in both pred and attr uses. Both pre- and postnominal. (35). MAG(a).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mandarin : Minimalism.Modification.AdjMorphProfile

Mandarin: no φ-agreement; attributivizer 的 (de) cliticizes to AP. (26). MAG(b).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.tagalog : Minimalism.Modification.AdjMorphProfile

Tagalog: no φ-agreement; attributivizer -ng/na is a clitic. Both pre- and postnominal. (27). MAG(b).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german : Minimalism.Modification.AdjMorphProfile

German: pred adjectives bare, attr carry agreement affix (38, 60–63). predAttrSameAgreement = false (pred bare, attr inflected).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.english : Minimalism.Modification.AdjMorphProfile

English: no overt agreement on adjectives. Null Attr evidenced by distributional parallels with Dutch (§5.2.3). (71).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.dutch : Minimalism.Modification.AdjMorphProfile

Dutch: attr schwa -e (overt) or null (indef neut sg), both affixal. Pred adjectives bare (64). (65)–(68), Table 6.

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.icelandic : Minimalism.Modification.AdjMorphProfile

Icelandic: strong/weak distinction. Pred = strong only; attr = strong (indef) or weak (def). Attr forms carry definiteness features absent from pred forms → pred ≠ attr. (40)–(42), Table 5.

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.serboCroatian : Minimalism.Modification.AdjMorphProfile

Serbo-Croatian: short (pred only) vs long (pred/attr, definiteness). Attr long forms encode definiteness absent from short pred forms → pred ≠ attr featurally. (21), (43).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hungarian : Minimalism.Modification.AdjMorphProfile

Hungarian: bare pred adjectives, no overt attr agreement. (18).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.georgian : Minimalism.Modification.AdjMorphProfile

Georgian: HFF-obeying, null Attr. (17).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.armenian : Minimalism.Modification.AdjMorphProfile

Armenian (Modern Eastern): HFF-obeying, null Attr. (20).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian : Minimalism.Modification.AdjMorphProfile

Italian: postnominal primary, head-initial APs → no N–XP–A geometry. φ-agreement (gender, number) but no κ (case) on adjectives → agreementPhiKappaComplete = false. (36), (72).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.japanese : Minimalism.Modification.AdjMorphProfile

Japanese: strictly head-final APs → no post-head material to create A–XP–N geometry. Trivially HFF-obeying (§2.2).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.basque : Minimalism.Modification.AdjMorphProfile

Basque: postnominal, head-final. Complex attr APs blocked; must use relative clause with -en. (3), (28).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.chacobo : Minimalism.Modification.AdjMorphProfile

Chácobo (Panoan): postnominal, head-final. Complex attr APs impossible; relativize with =ka(to) instead. (29).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.easternOromo : Minimalism.Modification.AdjMorphProfile

Eastern Oromo: postnominal, head-final. Complex attr APs blocked; must use dependent clause marker. (30).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.farsi : Minimalism.Modification.AdjMorphProfile

Farsi: postnominal, head-final. Ezafe cliticizes to NP (33). MAG(b).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.atong : Minimalism.Modification.AdjMorphProfile

Atong (Sino-Tibetan): postnominal, head-final. Clitic attributivizer =gaba/=aw. (32). MAG(b).

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.kalaallisut : Minimalism.Modification.AdjMorphProfile

Kalaallisut (West Greenlandic): postnominal, head-final. Full affixal φ/κ-agreement; pred & attr identically specified. (31). MAG(a).

Equations

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

structure Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.InterventionDatum : Type

• name : String
• profile : Minimalism.Modification.AdjMorphProfile
• observed : Bool

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.instReprInterventionDatum.repr : InterventionDatum → Nat → Std.Format

Equations

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

instance Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.instReprInterventionDatum : Repr InterventionDatum

Equations

• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.instReprInterventionDatum = { reprPrec := Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.instReprInterventionDatum.repr }

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.table3 : List InterventionDatum

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magCorrect (d : InterventionDatum) : Bool

Equations

• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.magCorrect d = (Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.interventionPredicted d.profile == d.observed)

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_predicts_all : table3.all magCorrect = true

The MAG correctly predicts all 24 languages in Table 3.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_greek : interventionPredicted greek = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_russian : interventionPredicted russian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_bulgarian : interventionPredicted bulgarian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_polish : interventionPredicted polish = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_lithuanian : interventionPredicted lithuanian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_latin : interventionPredicted latin = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_mandarin : interventionPredicted mandarin = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_tagalog : interventionPredicted tagalog = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_german : interventionPredicted german = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_english : interventionPredicted english = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_dutch : interventionPredicted dutch = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_icelandic : interventionPredicted icelandic = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_serboCroatian : interventionPredicted serboCroatian = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_hungarian : interventionPredicted hungarian = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_georgian : interventionPredicted georgian = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_armenian : interventionPredicted armenian = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_italian : interventionPredicted italian = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_japanese : interventionPredicted japanese = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_basque : interventionPredicted basque = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_chacobo : interventionPredicted chacobo = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_easternOromo : interventionPredicted easternOromo = false

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_farsi : interventionPredicted farsi = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_atong : interventionPredicted atong = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_kalaallisut : interventionPredicted kalaallisut = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_uses_condA : magConditionA greek = true ∧ magConditionB greek = false

Greek uses MAG(a) alone: φ/κ-complete, no clitic Attr.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mandarin_uses_condB : magConditionA mandarin = false ∧ magConditionB mandarin = true

Mandarin uses MAG(b) alone: clitic 的, no φ/κ-agreement.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.kalaallisut_uses_condA : magConditionA kalaallisut = true ∧ magConditionB kalaallisut = false

Kalaallisut uses MAG(a) alone despite affixal Attr: φ/κ-complete agreement overrides affix adjacency.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german_fails_both : magConditionA german = false ∧ magConditionB german = false

German fails BOTH conditions: pred ≠ attr AND Attr is affix.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.condA_failure_modes : german.predAttrSameAgreement = false ∧ italian.predAttrSameAgreement = true ∧ italian.agreementPhiKappaComplete = false

MAG(a) failure modes are distinct. German fails because pred ≠ attr (clause 1); Italian fails because agreement is not κ-complete (clause 2, no case on adjectives). Both have geometry.

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hffWrong (d : InterventionDatum) : Bool

Languages where geometry exists but intervention IS observed — exactly those satisfying MAG(a) or MAG(b). The HFF (+ mirror) incorrectly blocks all of them.

Equations

• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hffWrong d = (Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.interventionGeometryExists d.profile && d.observed)

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hff_wrong_count : (List.filter hffWrong table3).length = 11

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_correct_count : (List.filter magCorrect table3).length = 24

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hff_overgenerates_greek : interventionGeometryExists greek = true ∧ interventionPredicted greek = true

HFF overgenerates for Greek: blocks A–XP–N but it is observed.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hff_overgenerates_mandarin : interventionGeometryExists mandarin = true ∧ interventionPredicted mandarin = true

HFF overgenerates for Mandarin: clitic 的 licenses A–XP–N.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.hff_undergenerates_basque : interventionGeometryExists basque = true ∧ interventionPredicted basque = false

HFF undergenerates for Basque: mirror-HFF effects exist but the original HFF cannot state them (postnominal APs).

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.english_enough : Minimalism.Modification.AdjMorphProfile

English "enough" (15)–(16): a genuine HFF exception. Post-adjectival degree modifier that CAN precede the noun: "a tall enough guy." In the MAG analysis, DegP headed by "enough" intervenes between Attr and A; this is possible because null Attr (when DegP heads the extended AP) attaches to DegP, not A (69b).

Equations

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

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_fragment_sameAgreement : Fragments.Greek.AdjAgreement.entry.sameAgreement = true

Greek: fragment entry confirms pred = attr agreement.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_fragment_phiKappaComplete : Fragments.Greek.AdjAgreement.entry.phiKappaComplete = true

Greek: fragment entry confirms φ/κ-completeness.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_profile_consistent_pred : greek.predAttrSameAgreement = Fragments.Greek.AdjAgreement.entry.sameAgreement

Greek profile is consistent with fragment: pred = attr.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_profile_consistent_phikappa : greek.agreementPhiKappaComplete = Fragments.Greek.AdjAgreement.entry.phiKappaComplete

Greek profile is consistent with fragment: φ/κ-complete.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german_fragment_not_sameAgreement : Fragments.German.AdjAgreement.entry.sameAgreement = false

German: fragment entry confirms pred ≠ attr.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german_profile_consistent_pred : german.predAttrSameAgreement = Fragments.German.AdjAgreement.entry.sameAgreement

German profile is consistent with fragment.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.russian_fragment_sameAgreement : Fragments.Russian.AdjAgreement.entry.sameAgreement = true

Russian: fragment confirms pred = attr (long forms identical).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.russian_profile_consistent_pred : russian.predAttrSameAgreement = Fragments.Russian.AdjAgreement.entry.sameAgreement

Russian profile is consistent with fragment.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian_fragment_sameAgreement : Fragments.Italian.AdjAgreement.entry.sameAgreement = true

Italian: fragment confirms pred = attr (both carry φ).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian_fragment_not_phiKappaComplete : Fragments.Italian.AdjAgreement.entry.phiKappaComplete = false

Italian: fragment confirms NOT φ/κ-complete (no case).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian_profile_consistent_pred : italian.predAttrSameAgreement = Fragments.Italian.AdjAgreement.entry.sameAgreement

Italian profile is consistent with fragment: pred = attr.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian_profile_consistent_phikappa : italian.agreementPhiKappaComplete = Fragments.Italian.AdjAgreement.entry.phiKappaComplete

Italian profile is consistent with fragment: NOT φ/κ-complete.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.greek_direct_mod : Minimalism.Modification.modificationRoute greek = Minimalism.Modification.ModificationRoute.direct

Greek uses direct modification (no Attr needed).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german_attr_mediated : Minimalism.Modification.modificationRoute german = Minimalism.Modification.ModificationRoute.attrMediated

German uses Attr-mediated modification.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mandarin_attr_mediated : Minimalism.Modification.modificationRoute mandarin = Minimalism.Modification.ModificationRoute.attrMediated

Mandarin uses Attr-mediated modification (clitic 的).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.italian_attr_mediated : Minimalism.Modification.modificationRoute italian = Minimalism.Modification.ModificationRoute.attrMediated

Italian uses Attr-mediated modification (null Attr for κ).

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.kalaallisut_direct_mod : Minimalism.Modification.modificationRoute kalaallisut = Minimalism.Modification.ModificationRoute.direct

Kalaallisut uses direct modification despite affixal Attr: φ/κ-complete agreement means Attr is not needed structurally.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.german_icp_blocks : Morphology.ICP.icpBlocksIntervention german.attrStatus = true

German: affixal Attr → ICP blocks intervention.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.english_icp_blocks : Morphology.ICP.icpBlocksIntervention english.attrStatus = true

English: null Attr → ICP blocks intervention.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mandarin_icp_permits : Morphology.ICP.icpBlocksIntervention mandarin.attrStatus = false

Mandarin: clitic 的 → ICP does NOT block.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.farsi_icp_permits : Morphology.ICP.icpBlocksIntervention farsi.attrStatus = false

Farsi: clitic ezafe → ICP does NOT block.

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.mag_factors_orthogonal : Minimalism.Modification.modificationRoute greek = Minimalism.Modification.ModificationRoute.direct ∧ Morphology.ICP.icpBlocksIntervention greek.attrStatus = true ∧ Minimalism.Modification.modificationRoute mandarin = Minimalism.Modification.ModificationRoute.attrMediated ∧ Morphology.ICP.icpBlocksIntervention mandarin.attrStatus = false ∧ Minimalism.Modification.modificationRoute german = Minimalism.Modification.ModificationRoute.attrMediated ∧ Morphology.ICP.icpBlocksIntervention german.attrStatus = true

The two MAG conditions are orthogonal to the two theory-layer mechanisms. Condition (a) = direct modification route; ICP blocking = morphophonological factor of condition (b).

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsOrder (code : String) : Option Core.WALS.F87A.AdjectiveNounOrder

Equations

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

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsToPosition : Core.WALS.F87A.AdjectiveNounOrder → Minimalism.Modification.AdjPosition

Equations

• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsToPosition Core.WALS.F87A.AdjectiveNounOrder.adjectiveNoun = Minimalism.Modification.AdjPosition.prenominal
• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsToPosition Core.WALS.F87A.AdjectiveNounOrder.nounAdjective = Minimalism.Modification.AdjPosition.postnominal
• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsToPosition Core.WALS.F87A.AdjectiveNounOrder.noDominantOrder = Minimalism.Modification.AdjPosition.both
• Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsToPosition Core.WALS.F87A.AdjectiveNounOrder.onlyInternallyHeadedRelativeClauses = Minimalism.Modification.AdjPosition.both

def Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.walsConsistent (code : String) (prof : Minimalism.Modification.AdjMorphProfile) : Bool

Equations

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

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_greek : walsConsistent "grk" greek = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_russian : walsConsistent "rus" russian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_german : walsConsistent "ger" german = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_mandarin : walsConsistent "mnd" mandarin = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_basque : walsConsistent "bsq" basque = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_hungarian : walsConsistent "hun" hungarian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_italian : walsConsistent "ita" italian = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_farsi : walsConsistent "prs" farsi = true

theorem Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025.wals_tagalog : walsConsistent "tag" tagalog = true