Documentation

Linglib.Discourse.Centering.GrammaticalRole

Centering theory: ranking by grammatical role #

The ranking of forward-looking centers that centering theory assumes for English: the subject outranks the object, which outranks every other role. Kameyama argued for grammatical role over Sidner's focus-based ranking, Grosz, Joshi, and Weinstein adopt it in their examples, and Gordon, Grosz, and Gilliom's repeated-name penalty experiments support it.

Main declarations #

References #

source
inductive Discourse.Centering.GrammaticalRole :
Type

A grammatical role ranking the forward-looking centers: subject over object over the rest.

Instances For
    source
    @[instance_reducible]
    instance Discourse.Centering.instDecidableEqGrammaticalRole :
    DecidableEq GrammaticalRole
    Equations
    source
    @[instance_reducible]
    instance Discourse.Centering.instReprGrammaticalRole :
    Repr GrammaticalRole
    Equations
    source
    def Discourse.Centering.instReprGrammaticalRole.repr :
    GrammaticalRole → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[instance_reducible]
      instance Discourse.Centering.instFintypeGrammaticalRole :
      Fintype GrammaticalRole
      Equations
      • One or more equations did not get rendered due to their size.
      source
      def Discourse.Centering.GrammaticalRole.rank :
      GrammaticalRole → ℕ

      The prominence of a role, the subject the most prominent.

      Equations
      Instances For
        source
        @[instance_reducible]
        instance Discourse.Centering.GrammaticalRole.instLinearOrder :
        LinearOrder GrammaticalRole
        Equations
        source
        theorem Discourse.Centering.GrammaticalRole.object_lt_subject :
        object < subject
        source
        theorem Discourse.Centering.GrammaticalRole.other_lt_object :
        other < object
        source
        def Discourse.Centering.GrammaticalRole.ofArgumentRole :
        ArgumentRole → GrammaticalRole

        The role of a comparative coding slot under the accusative alignment the ranking was stated for: the S and A slots are the subject and the P, R, and T slots are objects. Obliques lie outside the coding slots and are the other roles.

        Equations
        Instances For
          source
          theorem Discourse.Centering.GrammaticalRole.ofArgumentRole_ne_other (r : ArgumentRole) :
          ofArgumentRole r ≠ other

          The coding slots the role-reference association marks as high are the subject or an object, never other.