Documentation

Linglib.Theories.Discourse.Centering.Instances.GrammaticalRole

Centering — Grammatical Role Cf Ranking #

@cite{kameyama-1986} @cite{gordon-grosz-gilliom-1993} @cite{grosz-joshi-weinstein-1995}

The English-default Cf ranking, by grammatical role: SUBJECT > OBJECT > OTHER.

@cite{grosz-joshi-weinstein-1995} §5 surveys the evidence (their examples 11–14) that grammatical role is the major determinant of Cf ranking in English. @cite{kameyama-1986} argued for grammatical role over @cite{sidner-1979}'s focus-based proposal; the @cite{gordon-grosz-gilliom-1993} repeated-name penalty experiments provide independent empirical support.

source
inductive Discourse.Centering.GrammaticalRole :
Type

Grammatical role used to rank Cf elements (@cite{kameyama-1986}, @cite{gordon-grosz-gilliom-1993}): SUBJECT > OBJECT > OTHER.

Instances For
    source
    @[implicit_reducible]
    instance Discourse.Centering.instDecidableEqGrammaticalRole :
    DecidableEq GrammaticalRole
    Equations
    source
    @[implicit_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
      @[implicit_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 → ℕ
      Equations
      Instances For
        source
        @[implicit_reducible]
        instance Discourse.Centering.instCfRankerGrammaticalRole :
        CfRanker GrammaticalRole

        The Cf-ranker instance: the standard English assumption.

        Equations
        source
        @[implicit_reducible]
        instance Discourse.Centering.instLinearOrderGrammaticalRole :
        LinearOrder GrammaticalRole
        Equations