Bridge: Memory-Surprisal MorphemeOrder → Causatives Typology

@cite{song-1996}

Connects the Japanese causative -(s)ase morpheme order analysis from MemorySurprisal.MorphemeOrder to @cite{song-1996}'s causative typology in Phenomena.Causatives.Typology.

The key bridge: Japanese -(s)ase occupies the valence slot (innermost functional suffix), consistent with its classification as a COMPACT morphological causative.

Bridge: Japanese -(s)ase = Song's COMPACT morphological causative

Japanese -(s)ase is classified as a morphological COMPACT causative in @cite{song-1996}. The ik_ase entry in Fragments/Japanese/Predicates confirms this: causativeBuilder = some.make.

theorem DepGrammar.MemorySurprisal.MorphemeOrder.Bridge.ik_ase_is_causative : Fragments.Japanese.Predicates.ik_ase.causativeBuilder.isSome = true

The Japanese -(s)ase causative entry is causative (derived from causativeBuilder).

theorem DepGrammar.MemorySurprisal.MorphemeOrder.Bridge.ik_ase_is_make : Fragments.Japanese.Predicates.ik_ase.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.make

Japanese -(s)ase uses the.make causative builder (direct causation).

theorem DepGrammar.MemorySurprisal.MorphemeOrder.Bridge.japanese_causative_is_compact : Phenomena.Causatives.Typology.japaneseAse.constructionType = Phenomena.Causatives.Typology.CausativeConstructionType.compact

@cite{song-1996} classifies Japanese -(s)ase as COMPACT.

The COMPACT type subsumes morphological causatives like Japanese -(s)ase, Turkish -dür, and also lexical causatives like English kill. This is consistent with the slot being valence (innermost).