Documentation

Linglib.Phenomena.WordOrder.Studies.Chomsky1995

Minimalist Derivations of Word Order #

@cite{chomsky-1995}

Verifies that Minimalist Merge derivations model SVO sentences from the phenomena data, with phonological yields matching expected word order. The transitive derivation is defined locally (chronological discipline: Chomsky 1995 cannot import Adger 2003 where the canonical Minimalism English-derivation lexicon now lives).

source
def Chomsky1995.john_sees_mary :
Minimalist.Derivation

"John sees Mary" as a Minimalist Merge derivation: see's complement is Mary (emR), then John is added as specifier (emL).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Chomsky1995.models_svo_word_order :
    have yield := " ".intercalate (Minimalist.HeadFunction.leftSpine.phonYield john_sees_mary.final); (Phenomena.WordOrder.data.pairs.any fun (x : Paradigms.AcceptabilityJudgment.SentencePair) => x.grammatical == yield) = true

    The phonological yield of john_sees_mary matches one of the grammatical SVO sentences in WordOrder.data. This connects the Minimalist derivation (built by emR then emL over verbToSO/ nounToSO) to the empirical word-order data.

    Phase 1.0 sorry: blocked on phonYield being noncomputable (Phase 1.0 placeholder via Quot.out). TODO Phase 2: restore once LCA-based linearization lands.