Documentation

Linglib.Phenomena.Quantification.Studies.Steedman2000

CCG Scope Bridge #

@cite{steedman-2000}

Connects CCG scope theory (from Theories.Syntax.CCG.Scope) to empirical scope-word-order data (from Phenomena.Quantification.Data).

Proves that CCG derivation types correctly predict scope availability based on verb order (verb raising vs. verb projection raising).

source
def Phenomena.Quantification.CCGBridge.verbOrderToDerivationType :
Data.VerbOrder → CCG.Scope.DerivationType

Map Phenomena.Quantification.Data.VerbOrder to CCG derivation type.

Equations
Instances For
    source
    def Phenomena.Quantification.CCGBridge.ScopeAvailability.toBinaryScopeAvailability :
    Data.ScopeAvailability → ScopeTheory.BinaryScopeAvailability

    Helper to convert ScopeAvailability to BinaryScopeAvailability.

    Equations
    Instances For
      source
      theorem Phenomena.Quantification.CCGBridge.ccg_predicts_verb_raising_scope (vo : Data.VerbOrder) :
      CCG.Scope.derivationTypeToAvailability (verbOrderToDerivationType vo) = ScopeAvailability.toBinaryScopeAvailability (Data.wordOrderToAvailability vo)

      CCG prediction matches observed scope availability.