inductive Minimalism.Phenomena.Coreference.NominalType : Type

Types of nominal expressions for coreference

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

def Minimalism.Phenomena.Coreference.instReprNominalType.repr : NominalType → ℕ → Std.Format

Equations

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

instance Minimalism.Phenomena.Coreference.instReprNominalType : Repr NominalType

Equations

• Minimalism.Phenomena.Coreference.instReprNominalType = { reprPrec := Minimalism.Phenomena.Coreference.instReprNominalType.repr }

instance Minimalism.Phenomena.Coreference.instDecidableEqNominalType : DecidableEq NominalType

Equations

• Minimalism.Phenomena.Coreference.instDecidableEqNominalType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Minimalism.Phenomena.Coreference.isNominalCat (c : UD.UPOS) : Bool

Is this a nominal category?

Equations

• Minimalism.Phenomena.Coreference.isNominalCat c = (c == UD.UPOS.PROPN || c == UD.UPOS.NOUN || c == UD.UPOS.PRON)

def Minimalism.Phenomena.Coreference.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.

structure Minimalism.Phenomena.Coreference.SimpleClause : Type

Simple clause structure for coreference checking

• subject : Word
• verb : Word
• object : Option Word

def Minimalism.Phenomena.Coreference.instReprSimpleClause.repr : SimpleClause → ℕ → Std.Format

Equations

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

instance Minimalism.Phenomena.Coreference.instReprSimpleClause : Repr SimpleClause

Equations

• Minimalism.Phenomena.Coreference.instReprSimpleClause = { reprPrec := Minimalism.Phenomena.Coreference.instReprSimpleClause.repr }

def Minimalism.Phenomena.Coreference.parseSimpleClause (ws : List Word) : Option SimpleClause

Equations

• One or more equations did not get rendered due to their size.
• Minimalism.Phenomena.Coreference.parseSimpleClause ws = none

def Minimalism.Phenomena.Coreference.subjectCCommandsObject (_clause : SimpleClause) : Bool

Equations

• Minimalism.Phenomena.Coreference.subjectCCommandsObject _clause = true

def Minimalism.Phenomena.Coreference.objectCCommandsSubject (_clause : SimpleClause) : Bool

Equations

• Minimalism.Phenomena.Coreference.objectCCommandsSubject _clause = false

def Minimalism.Phenomena.Coreference.sameLocalDomain (_clause : SimpleClause) : Bool

Equations

• Minimalism.Phenomena.Coreference.sameLocalDomain _clause = true

def Minimalism.Phenomena.Coreference.inSameBindingDomain (_clause : SimpleClause) (_pos1 _pos2 : String) : Bool

Equations

• Minimalism.Phenomena.Coreference.inSameBindingDomain _clause _pos1 _pos2 = true

def Minimalism.Phenomena.Coreference.phiAgree (w1 w2 : Word) : Bool

Phi-feature agreement for coreference

Equations

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

def Minimalism.Phenomena.Coreference.reflexiveLicensed (clause : SimpleClause) : Bool

Principle A: Reflexives must be bound locally

Equations

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

def Minimalism.Phenomena.Coreference.reciprocalLicensed (clause : SimpleClause) : Bool

Reciprocals must be locally c-commanded by a plural antecedent.

Equations

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

def Minimalism.Phenomena.Coreference.pronounLocallyFree (clause : SimpleClause) : Bool

Principle B: Pronouns must be free locally

Equations

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

def Minimalism.Phenomena.Coreference.rExpressionFree (clause : SimpleClause) : Bool

Principle C: R-expressions must be free everywhere

Equations

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

def Minimalism.Phenomena.Coreference.grammaticalForCoreference (ws : List Word) : Bool

Grammatical for coreference under Minimalist binding

Equations

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

def Minimalism.Phenomena.Coreference.reflexiveLicensedInSentence (ws : List Word) : Bool

Equations

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

def Minimalism.Phenomena.Coreference.pronounCoreferenceBlocked (ws : List Word) : Bool

Equations

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

structure Minimalism.Phenomena.Coreference.MinimalistCoreferenceGrammar : Type

• strictLocality : Bool

def Minimalism.Phenomena.Coreference.defaultGrammar : MinimalistCoreferenceGrammar

Equations

• Minimalism.Phenomena.Coreference.defaultGrammar = { }

def Minimalism.Phenomena.Coreference.computeCoreferenceStatus (clause : SimpleClause) (i j : ℕ) : Interfaces.CoreferenceStatus

Equations

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