Coreference Status

Theory-neutral coreference relationship types.

inductive Interfaces.CoreferenceStatus : Type

The possible coreference relationships between two positions.

• obligatory : CoreferenceStatus

  Coreference is obligatory (reflexives with local antecedent)

• possible : CoreferenceStatus

  Coreference is possible but not required

• blocked : CoreferenceStatus

  Coreference is blocked (Principle B/C violations)

• unspecified : CoreferenceStatus

  No prediction (positions not in relevant configuration)

instance Interfaces.instReprCoreferenceStatus : Repr CoreferenceStatus

Equations

• Interfaces.instReprCoreferenceStatus = { reprPrec := Interfaces.instReprCoreferenceStatus.repr }

def Interfaces.instReprCoreferenceStatus.repr : CoreferenceStatus → Nat → Std.Format

Equations

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

instance Interfaces.instDecidableEqCoreferenceStatus : DecidableEq CoreferenceStatus

Equations

• Interfaces.instDecidableEqCoreferenceStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯