Documentation

Linglib.Studies.Osborne2019Ellipsis

Bridge: DG Ellipsis → Steedman's Ellipsis Taxonomy #

[Osb19]

Maps the DG catena-based ellipsis taxonomy to [Ste00a]'s ellipsis types (Steedman2000.EllipsisType).

Key result: gapping (from Steedman's 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 Steedman2000.EllipsisType

Map DG ellipsis types to Steedman2000.EllipsisType. Not all DG types have Steedman equivalents (pseudogapping/fragmentAnswer don't).

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

    Gapping (from Steedman's taxonomy) 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).