def Phenomena.Anaphora.Coreference.reflexiveCoreferenceData : PhenomenonData

Reflexives require local c-commanding antecedent.

Equations

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

def Phenomena.Anaphora.Coreference.pronominalDisjointReferenceData : PhenomenonData

Pronouns cannot corefer with local c-commanding antecedent.

Equations

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

def Phenomena.Anaphora.Coreference.referentialExpressionFreedomData : PhenomenonData

Full nominals cannot corefer with c-commanding pronoun.

Equations

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

def Phenomena.Anaphora.Coreference.complementaryDistributionData : PhenomenonData

Reflexives and pronouns in complementary distribution.

Equations

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

def Phenomena.Anaphora.Coreference.reciprocalCoreferenceData : PhenomenonData

Reciprocals require a plural/coordinated antecedent and local binding.

Equations

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

def Phenomena.Anaphora.Coreference.coreferenceData : List PhenomenonData

Equations

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

inductive Phenomena.Anaphora.Coreference.AnaphorType : Type

Types of anaphoric expressions.

• reflexive : AnaphorType
• reciprocal : AnaphorType
• pronoun : AnaphorType
• name : AnaphorType
• description : AnaphorType

instance Phenomena.Anaphora.Coreference.instReprAnaphorType : Repr AnaphorType

Equations

• Phenomena.Anaphora.Coreference.instReprAnaphorType = { reprPrec := Phenomena.Anaphora.Coreference.instReprAnaphorType.repr }

def Phenomena.Anaphora.Coreference.instReprAnaphorType.repr : AnaphorType → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.Coreference.instDecidableEqAnaphorType : DecidableEq AnaphorType

Equations

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

inductive Phenomena.Anaphora.Coreference.Domain : Type

Domain types for coreference constraints.

• local_ : Domain
• nonlocal : Domain
• any : Domain

def Phenomena.Anaphora.Coreference.instReprDomain.repr : Domain → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.Coreference.instReprDomain : Repr Domain

Equations

• Phenomena.Anaphora.Coreference.instReprDomain = { reprPrec := Phenomena.Anaphora.Coreference.instReprDomain.repr }

instance Phenomena.Anaphora.Coreference.instDecidableEqDomain : DecidableEq Domain

Equations

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

structure Phenomena.Anaphora.Coreference.CoreferencePattern : Type

Coreference requirements for an anaphor type.

• anaphorType : AnaphorType
• requiresAntecedent : Bool
• antecedentDomain : Option Domain

instance Phenomena.Anaphora.Coreference.instReprCoreferencePattern : Repr CoreferencePattern

Equations

• Phenomena.Anaphora.Coreference.instReprCoreferencePattern = { reprPrec := Phenomena.Anaphora.Coreference.instReprCoreferencePattern.repr }

def Phenomena.Anaphora.Coreference.instReprCoreferencePattern.repr : CoreferencePattern → Nat → Std.Format

Equations

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

def Phenomena.Anaphora.Coreference.reflexivePattern : CoreferencePattern

Equations

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

def Phenomena.Anaphora.Coreference.pronounPattern : CoreferencePattern

Equations

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

def Phenomena.Anaphora.Coreference.namePattern : CoreferencePattern

Equations

• Phenomena.Anaphora.Coreference.namePattern = { anaphorType := Phenomena.Anaphora.Coreference.AnaphorType.name, requiresAntecedent := false, antecedentDomain := none }

def Phenomena.Anaphora.Coreference.reciprocalPattern : CoreferencePattern

Reciprocal coreference pattern: requires a c-commanding antecedent that denotes a plurality. The antecedent can be syntactically singular in some languages (e.g., Hungarian null pronouns bound by a plural matrix subject; @cite{rakosi-2019}, @cite{dalrymple-haug-2024} §2). The domain is local for the pronoun antecedent, but the reciprocal's semantic contribution can scope wider (I-reading).

Equations

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