Bridge: Minimalist Derivations → Subcategorization Data

Connects Minimalist Merge derivations to the subcategorization data in Phenomena/ArgumentStructure/Subcategorization.lean.

Verifies that Minimalist derivations model intransitive, transitive, and ditransitive patterns, with phonological yields matching expected word order.

theorem Phenomena.ArgumentStructure.Studies.MinimalismSubcategorization.models_intransitive : (Subcategorization.data.pairs.any fun (x : SentencePair) => x.grammatical == "John sleeps") = true

The derivations model grammatical intransitive patterns

theorem Phenomena.ArgumentStructure.Studies.MinimalismSubcategorization.models_transitive : (Subcategorization.data.pairs.any fun (x : SentencePair) => x.grammatical == "John devours pizza") = true

theorem Phenomena.ArgumentStructure.Studies.MinimalismSubcategorization.models_ditransitive : (Subcategorization.data.pairs.any fun (x : SentencePair) => x.grammatical == "John gives Mary book") = true