Documentation

Linglib.Phenomena.WordOrder.Studies.Steedman2000

CCG Derivations of Word Order #

@cite{steedman-2000}

CCG encodes word order through slash direction:

TV = (S\NP)/NP

This means TV looks RIGHT for an NP (the object) first, then the resulting (S\NP) looks LEFT for an NP (the subject). This enforces SVO order. SOV "John Mary sees" would require the verb to look left for both arguments, but TV looks right first.

source
def Phenomena.WordOrder.Studies.Steedman2000.john_sees_mary :
CCG.DerivStep

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

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

    "Mary eats pizza" = NP + (TV + NP) → S

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

      "He sees her" = NP + (TV + NP) → S

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

        "The cat eats pizza" = (Det + N) + (TV + NP) → S

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Phenomena.WordOrder.Studies.Steedman2000.john_sees_mary_derives_S :
          CCG.derivesS john_sees_mary = true
          source
          theorem Phenomena.WordOrder.Studies.Steedman2000.mary_eats_pizza_derives_S :
          CCG.derivesS mary_eats_pizza = true
          source
          theorem Phenomena.WordOrder.Studies.Steedman2000.he_sees_her_derives_S :
          CCG.derivesS he_sees_her = true
          source
          theorem Phenomena.WordOrder.Studies.Steedman2000.the_cat_eats_pizza_derives_S :
          CCG.derivesS the_cat_eats_pizza = true