Documentation

Linglib.Discourse.Centering.Instances.GrammaticalRole

Centering — Grammatical Role Cf Ranking #

[Kam86] [GGG93] [GJW95]

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

[GJW95] §5 surveys the evidence (their examples 11–14) that grammatical role is the major determinant of Cf ranking in English. [Kam86] argued for grammatical role over [Sid79]'s focus-based proposal; the [GGG93] repeated-name penalty experiments provide independent empirical support.

source
inductive Discourse.Centering.GrammaticalRole :
Type

Grammatical role used to rank Cf elements ([Kam86], [GGG93]): SUBJECT > OBJECT > OTHER.

Instances For
    source
    @[implicit_reducible]
    instance Discourse.Centering.instDecidableEqGrammaticalRole :
    DecidableEq 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.instReprGrammaticalRole :
      Repr GrammaticalRole
      Equations
      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