structure DepGrammar.Coreference.SimpleClause : Type

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

• subject : Word
• verb : Word
• object : Option Word
• semanticPl : Bool

  Whether the subject denotes a plurality. Defaults to matching syntactic number. Override for languages where syntactic and semantic number diverge (@cite{rakosi-2019}).

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

Equations

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

@[implicit_reducible]

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.SimpleClause.toDepTree (clause : SimpleClause) : DepTree

Build a dependency tree from a simple clause.

Indices: 0 = subject, 1 = verb (root), 2 = object (if present). Dependencies: subject ←nsubj— verb, object ←obj— verb.

Equations

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

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

Same local domain: both subject and object are dependents of the same head (the verb), hence in the same dependency subgraph.

Equations

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

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

Path length from subject to object: count edges through the shared head (subject → verb → object).

Equations

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

def DepGrammar.Coreference.dCommands (tree : DepTree) (i j : ℕ) : Bool

D-command: word at index i d-commands word at index j in a dependency tree if both are dependents of the same head and i bears the subject relation (nsubj).

Equations

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

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

Subject d-commands object: derived from the dependency tree. Both are dependents of the verb, and the subject bears nsubj.

Equations

• DepGrammar.Coreference.subjectDCommandsObject clause = match clause.object with | none => false | some val => DepGrammar.Coreference.dCommands clause.toDepTree 0 2

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

Object does not d-command subject: derived from the tree. The object bears obj, not nsubj, so d-command fails.

Equations

• DepGrammar.Coreference.objectDCommandsSubject clause = match clause.object with | none => false | some val => DepGrammar.Coreference.dCommands clause.toDepTree 2 0

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 semantically plural antecedent. The plurality requirement is semantic, not morphosyntactic (@cite{rakosi-2019}).

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 : ℕ) : Features.CoreferenceStatus

Compute coreference status using d-command (dependency paths)

Equations

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