Documentation

Linglib.Phenomena.ArgumentStructure.Studies.CCGSubcategorization

Bridge: CCG → Subcategorization Data #

Connects CCG category assignments to the subcategorization data in Phenomena/ArgumentStructure/Subcategorization.lean.

CCG captures subcategorization through category assignment:

IV = S\NP (intransitive: needs subject only)
TV = (S\NP)/NP (transitive: needs object then subject)
DTV = ((S\NP)/NP)/NP (ditransitive: needs two objects then subject)

A verb assigned TV cannot appear without an object (no valid derivation), and a verb assigned IV cannot take one. These are implicit category-theoretic failures: no valid derivation exists.

source
def Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_sleeps :
CCG.DerivStep

"John sleeps" = NP + IV → S

Equations
Instances For
    source
    def Phenomena.ArgumentStructure.Studies.CCGSubcategorization.mary_arrives :
    CCG.DerivStep

    "Mary arrives" = NP + IV → S

    Equations
    Instances For
      source
      def Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_devours_pizza :
      CCG.DerivStep

      "John devours pizza" = NP + (TV + NP) → S

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Phenomena.ArgumentStructure.Studies.CCGSubcategorization.mary_sees_john :
        CCG.DerivStep

        "Mary sees John" = NP + (TV + NP) → S

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_gives_mary_book :
          CCG.DerivStep

          "John gives Mary the book" = NP + ((DTV + NP) + NP) → S

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            theorem Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_sleeps_derives_S :
            CCG.derivesS john_sleeps = true
            source
            theorem Phenomena.ArgumentStructure.Studies.CCGSubcategorization.mary_arrives_derives_S :
            CCG.derivesS mary_arrives = true
            source
            theorem Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_devours_pizza_derives_S :
            CCG.derivesS john_devours_pizza = true
            source
            theorem Phenomena.ArgumentStructure.Studies.CCGSubcategorization.mary_sees_john_derives_S :
            CCG.derivesS mary_sees_john = true
            source
            theorem Phenomena.ArgumentStructure.Studies.CCGSubcategorization.john_gives_mary_book_derives_S :
            CCG.derivesS john_gives_mary_book = true