Features.CoreferenceStatus

Cross-framework coreference verdict enum. The four syntactic frameworks (HPSG, Dependency Grammar, CRDC, Minimalism) each provide a computeCoreferenceStatus : ... → CoreferenceStatus function — the shared return type is what makes their predictions comparable rather than each framework's verdict living in a private namespace.

inductive Features.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)

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

Equations

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

@[implicit_reducible]

instance Features.instReprCoreferenceStatus : Repr CoreferenceStatus

Equations

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

@[implicit_reducible]

instance Features.instDecidableEqCoreferenceStatus : DecidableEq CoreferenceStatus

Equations

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