Nominality

The nominality of a nominal ranks personal pronouns above proper names above common nouns. It is the top of Aissen's definiteness scale, where pronouns and names are the high end of the definites, and Haspelmath's scale of nominal types; its cut between pronouns and nouns is the opposition of person forms to full nominals and the pronoun–noun division of Corbett's animacy hierarchy.

References

• [Ais03]
• [Cor00]
• [Has21c]

inductive Reference.Nominality : Type

The nominality of a nominal ranks a personal pronoun above a proper name above a common noun.

• commonNoun : Nominality
• properName : Nominality
• pronoun : Nominality

  A personal pronoun.

@[instance_reducible]

instance Reference.instDecidableEqNominality : DecidableEq Nominality

Equations

• Reference.instDecidableEqNominality x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Reference.instReprNominality.repr : Nominality → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Reference.instReprNominality : Repr Nominality

Equations

• Reference.instReprNominality = { reprPrec := Reference.instReprNominality.repr }

@[instance_reducible]

instance Reference.instFintypeNominality : Fintype Nominality

Equations

• Reference.instFintypeNominality = { elems := { val := ↑Reference.Nominality.enumList, nodup := Reference.Nominality.enumList_nodup }, complete := Reference.instFintypeNominality._proof_1 }

def Reference.Nominality.rank : Nominality → ℕ

The rank on the scale, 0 for a common noun, 1 for a proper name and 2 for a pronoun.

Equations

• Reference.Nominality.commonNoun.rank = 0
• Reference.Nominality.properName.rank = 1
• Reference.Nominality.pronoun.rank = 2

@[instance_reducible]

instance Reference.Nominality.instLinearOrder : LinearOrder Nominality

Equations

• Reference.Nominality.instLinearOrder = LinearOrder.lift' Reference.Nominality.rank Reference.Nominality.instLinearOrder._proof_1