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.

theorem Phenomena.WordOrder.Studies.Chomsky1995.models_svo_word_order : (data.pairs.any fun (x : SentencePair) => x.grammatical == "John sees Mary") = true

The derivations model the grammatical SVO sentences from WordOrder.data