structure DepGrammar.Coreference.SimpleClause : Type

Simple clause structure: a subgraph rooted at the main verb.

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

def DepGrammar.Coreference.instReprSimpleClause.repr : SimpleClause → ℕ → Std.Format

Equations

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

instance DepGrammar.Coreference.instReprSimpleClause : Repr SimpleClause

Equations

• DepGrammar.Coreference.instReprSimpleClause = { reprPrec := DepGrammar.Coreference.instReprSimpleClause.repr }

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

Parse a simple transitive sentence into a clause.

Equations

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

def DepGrammar.Coreference.sameLocalDomain (_clause : SimpleClause) : Bool

Subject and object are co-dependents of the same verb, hence in the same local domain.

Equations

• DepGrammar.Coreference.sameLocalDomain _clause = true

def DepGrammar.Coreference.pathLength (_clause : SimpleClause) : ℕ

Path length from subject to object = 2 (Subj --subj--> V <--obj-- Obj).

Equations

• DepGrammar.Coreference.pathLength _clause = 2

def DepGrammar.Coreference.subjectDCommandsObject (_clause : SimpleClause) : Bool

W1 d-commands W2 if both are dependents of the same head H and W1 is the subject.

Equations

• DepGrammar.Coreference.subjectDCommandsObject _clause = true

def DepGrammar.Coreference.objectDCommandsSubject (_clause : SimpleClause) : Bool

Object does not d-command subject.

Equations

• DepGrammar.Coreference.objectDCommandsSubject _clause = false

def DepGrammar.Coreference.reflexiveLicensed (clause : SimpleClause) : Bool

Reflexive is licensed if d-commanded by an agreeing antecedent in the local domain.

Equations

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

def DepGrammar.Coreference.reciprocalLicensed (clause : SimpleClause) : Bool

Reciprocals must be d-commanded by a plural antecedent in the local domain.

Equations

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

def DepGrammar.Coreference.pronounLocallyFree (clause : SimpleClause) : Bool

A pronoun must not be d-commanded by a coreferent antecedent locally.

Equations

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

def DepGrammar.Coreference.rExpressionFree (clause : SimpleClause) : Bool

R-expression freedom in dependency grammar

Equations

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

def DepGrammar.Coreference.grammaticalForCoreference (ws : List Word) : Bool

Is a sentence grammatical for coreference under dependency binding?

Equations

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

def DepGrammar.Coreference.reflexiveLicensedInSentence (ws : List Word) : Bool

Check if reflexive is licensed in a sentence

Equations

• DepGrammar.Coreference.reflexiveLicensedInSentence ws = match DepGrammar.Coreference.parseSimpleClause ws with | none => false | some clause => DepGrammar.Coreference.reflexiveLicensed clause

def DepGrammar.Coreference.pronounCoreferenceBlocked (ws : List Word) : Bool

Check if pronoun coreference is blocked

Equations

• DepGrammar.Coreference.pronounCoreferenceBlocked ws = match DepGrammar.Coreference.parseSimpleClause ws with | none => false | some clause => !DepGrammar.Coreference.pronounLocallyFree clause

structure DepGrammar.Coreference.DepGrammarCoreferenceConfig : Type

Dependency grammar coreference configuration

• strictLocality : Bool

  Whether to use strict path-length locality

def DepGrammar.Coreference.defaultConfig : DepGrammarCoreferenceConfig

Default configuration for coreference

Equations

• DepGrammar.Coreference.defaultConfig = { }

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

Compute coreference status using d-command (dependency paths)

Equations

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