structure Phenomena.Anaphora.CrossSententialAnaphora.CrossSententialDatum : Type

Cross-sentential anaphora datum.

• sentences : List String
• pronounSentenceIdx : Nat
• pronoun : String
• antecedentSentenceIdx : Nat
• antecedent : String
• felicitous : Bool
• notes : String
• source : String

@[implicit_reducible]

instance Phenomena.Anaphora.CrossSententialAnaphora.instReprCrossSententialDatum : Repr CrossSententialDatum

Equations

• Phenomena.Anaphora.CrossSententialAnaphora.instReprCrossSententialDatum = { reprPrec := Phenomena.Anaphora.CrossSententialAnaphora.instReprCrossSententialDatum.repr }

def Phenomena.Anaphora.CrossSententialAnaphora.instReprCrossSententialDatum.repr : CrossSententialDatum → Nat → Std.Format

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.indefinitePersists : CrossSententialDatum

Basic indefinite persistence

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.multiSentence : CrossSententialDatum

Multi-sentence discourse

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.multipleDrefs : CrossSententialDatum

Multiple drefs

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.universalBlocks : CrossSententialDatum

Universal blocks cross-sentential anaphora

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.negativeBlocks : CrossSententialDatum

Negative quantifier blocks

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.mostBlocks : CrossSententialDatum

"Most" blocks?

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.relativeClauseScope : CrossSententialDatum

Indefinite in relative clause

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.conditionalAntecedent : CrossSententialDatum

Indefinite under if-clause

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.conditionalConsequent : CrossSententialDatum

Indefinite in then-clause

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.standardNegationBlocks : CrossSententialDatum

Standard negation blocks

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.doubleNegation : CrossSententialDatum

Double negation special case

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.definiteReference : CrossSententialDatum

Definite reference

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.specificIndefinite : CrossSententialDatum

Specific indefinite

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.barePlural : CrossSententialDatum

Bare plurals

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.allData : List CrossSententialDatum

All cross-sentential anaphora examples

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.felicitousExamples : List CrossSententialDatum

Felicitous examples

Equations

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

def Phenomena.Anaphora.CrossSententialAnaphora.infelicitousExamples : List CrossSententialDatum

Infelicitous examples

Equations

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