Bridge: CoordinationParallelism → Gapping Phenomena

Connects the Dependency Grammar coordination parallelism analysis (@cite{osborne-2019}, Ch 10-11) to the empirical gapping data in Phenomena.Ellipsis.Gapping.

The key bridge: sharing direction in coordination corresponds to gapping direction — forward sharing maps to forward gapping (SVO), backward sharing maps to backward gapping (SOV).

theorem DepGrammar.CoordinationParallelism.Bridge.sharing_direction_matches_gapping : (Phenomena.Ellipsis.Gapping.rossOriginal Phenomena.Ellipsis.Gapping.WordOrder.SVO).allowsForward = true ∧ (Phenomena.Ellipsis.Gapping.rossOriginal Phenomena.Ellipsis.Gapping.WordOrder.SOV).allowsBackward = true

Bridge → Phenomena/Ellipsis/Gapping.lean: forward sharing corresponds to forward gapping (verb retained in first conjunct), backward sharing corresponds to backward gapping (verb retained in last conjunct).