Documentation

Linglib.Phenomena.Ellipsis.Studies.Osborne2019

Bridge: DG Ellipsis → Phenomena Ellipsis #

@cite{osborne-2019}

Maps the DG catena-based ellipsis taxonomy to the Phenomena ellipsis types from Phenomena.Ellipsis.Gapping.

Key result: gapping (from the Phenomena taxonomy) is a special case of catena-ellipsis — the elided verb is always a singleton catena that is not a constituent.

Bridges #

source
def DepGrammar.Ellipsis.toGappingEllipsisType :
EllipsisType → Option Phenomena.Ellipsis.Gapping.EllipsisType

Map DG ellipsis types to Phenomena's Gapping.EllipsisType. Not all DG types have Phenomena equivalents (pseudogapping/fragmentAnswer don't).

Equations
Instances For
    source
    theorem DepGrammar.Ellipsis.catena_ellipsis_subsumes_gapping :
    toGappingEllipsisType EllipsisType.gapping = some Phenomena.Ellipsis.Gapping.EllipsisType.gapping

    Gapping (from Phenomena) is a special case of catena-ellipsis. The verb alone is elided — always a singleton catena.

    source
    theorem DepGrammar.Ellipsis.gapping_always_catena_not_constituent :
    Catena.isCatena gappingTree.deps gappingElided = true ∧ Catena.isConstituent gappingTree.deps 3 gappingElided = false

    Gapping always elides a non-constituent catena: the verb alone is a catena (trivially) but never a constituent (its subtree includes subject and object).