inductive DepGrammar.Nominal.NominalType : Type

Types of nominal expressions for coreference.

• reflexive : NominalType
• reciprocal : NominalType
• pronoun : NominalType
• rExpression : NominalType

instance DepGrammar.Nominal.instReprNominalType : Repr NominalType

Equations

• DepGrammar.Nominal.instReprNominalType = { reprPrec := DepGrammar.Nominal.instReprNominalType.repr }

def DepGrammar.Nominal.instReprNominalType.repr : NominalType → ℕ → Std.Format

Equations

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

instance DepGrammar.Nominal.instDecidableEqNominalType : DecidableEq NominalType

Equations

• DepGrammar.Nominal.instDecidableEqNominalType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DepGrammar.Nominal.isNominalCat (c : UD.UPOS) : Bool

Is this a nominal category?

Equations

• DepGrammar.Nominal.isNominalCat c = (c == UD.UPOS.PROPN || c == UD.UPOS.NOUN || c == UD.UPOS.PRON)

def DepGrammar.Nominal.classifyNominal (w : Word) : Option NominalType

Classify a word as a nominal type.

Equations

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

def DepGrammar.Nominal.phiAgree (w1 w2 : Word) : Bool

Check phi-feature agreement (person, number, gender) between two nominals.

Equations

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

@[reducible, inline]

abbrev DepGrammar.Nominal.john : Word

Equations

• DepGrammar.Nominal.john = Fragments.English.Nouns.john.toWordSg

@[reducible, inline]

abbrev DepGrammar.Nominal.mary : Word

Equations

• DepGrammar.Nominal.mary = Fragments.English.Nouns.mary.toWordSg

@[reducible, inline]

abbrev DepGrammar.Nominal.they : Word

Equations

• DepGrammar.Nominal.they = Fragments.English.Pronouns.they.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.sees : Word

Equations

• DepGrammar.Nominal.sees = Fragments.English.Predicates.Verbal.see.toWord3sg

@[reducible, inline]

abbrev DepGrammar.Nominal.see : Word

Equations

• DepGrammar.Nominal.see = Fragments.English.Predicates.Verbal.see.toWordPl

@[reducible, inline]

abbrev DepGrammar.Nominal.himself : Word

Equations

• DepGrammar.Nominal.himself = Fragments.English.Pronouns.himself.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.herself : Word

Equations

• DepGrammar.Nominal.herself = Fragments.English.Pronouns.herself.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.themselves : Word

Equations

• DepGrammar.Nominal.themselves = Fragments.English.Pronouns.themselves.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.him : Word

Equations

• DepGrammar.Nominal.him = Fragments.English.Pronouns.him.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.her : Word

Equations

• DepGrammar.Nominal.her = Fragments.English.Pronouns.her.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.them : Word

Equations

• DepGrammar.Nominal.them = Fragments.English.Pronouns.them.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.eachOther : Word

Equations

• DepGrammar.Nominal.eachOther = Fragments.English.Pronouns.eachOther.toWord