structure Phenomena.Anaphora.DonkeyAnaphora.DonkeyDatum : Type

A donkey anaphora datum records a sentence with its readings

• sentence : String

  The sentence

• boundReading : Bool

  Does the pronoun depend on the indefinite?

• strongReading : Bool

  Is a universal ("strong") reading available?

• weakReading : Bool

  Is an existential ("weak") reading available?

• grammatical : Bool

  Is the sentence grammatical?

• notes : String

  Notes on the reading

• source : String

  Citation

def Phenomena.Anaphora.DonkeyAnaphora.instReprDonkeyDatum.repr : DonkeyDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.DonkeyAnaphora.instReprDonkeyDatum : Repr DonkeyDatum

Equations

• Phenomena.Anaphora.DonkeyAnaphora.instReprDonkeyDatum = { reprPrec := Phenomena.Anaphora.DonkeyAnaphora.instReprDonkeyDatum.repr }

def Phenomena.Anaphora.DonkeyAnaphora.geachDonkey : DonkeyDatum

Classic Geach donkey sentence

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.conditionalDonkey : DonkeyDatum

Conditional donkey

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.negatedDonkey : DonkeyDatum

Negated donkey

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.mostDonkey : DonkeyDatum

"Most" donkey (proportion problem)

Equations

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

structure Phenomena.Anaphora.DonkeyAnaphora.WeakStrongDatum : Type

Data on weak vs strong reading availability

• sentence : String
• strongAvailable : Bool
• weakAvailable : Bool
• preferredReading : String
• context : String
• source : String

def Phenomena.Anaphora.DonkeyAnaphora.instReprWeakStrongDatum.repr : WeakStrongDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.DonkeyAnaphora.instReprWeakStrongDatum : Repr WeakStrongDatum

Equations

• Phenomena.Anaphora.DonkeyAnaphora.instReprWeakStrongDatum = { reprPrec := Phenomena.Anaphora.DonkeyAnaphora.instReprWeakStrongDatum.repr }

def Phenomena.Anaphora.DonkeyAnaphora.strongDominant : WeakStrongDatum

Strong reading dominant

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.weakFacilitated : WeakStrongDatum

Weak reading facilitated by context

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.onlyStrong : WeakStrongDatum

Only strong reading possible

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.bathroomSentence : DonkeyDatum

Bathroom sentences (Partee)

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.paycheckSentence : DonkeyDatum

Paycheck pronouns

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.sagePlant : DonkeyDatum

Sage plant sentences (Evans)

Equations

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

structure Phenomena.Anaphora.DonkeyAnaphora.DiscourseDonkeyDatum : Type

Discourse-level donkey anaphora

• sentences : List String
• pronounSentenceIdx : Nat
• antecedentSentenceIdx : Nat
• grammatical : Bool
• notes : String
• source : String

instance Phenomena.Anaphora.DonkeyAnaphora.instReprDiscourseDonkeyDatum : Repr DiscourseDonkeyDatum

Equations

• Phenomena.Anaphora.DonkeyAnaphora.instReprDiscourseDonkeyDatum = { reprPrec := Phenomena.Anaphora.DonkeyAnaphora.instReprDiscourseDonkeyDatum.repr }

def Phenomena.Anaphora.DonkeyAnaphora.instReprDiscourseDonkeyDatum.repr : DiscourseDonkeyDatum → Nat → Std.Format

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.crossSententialDonkey : DiscourseDonkeyDatum

Cross-sentential binding

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.indefinitePersists : DiscourseDonkeyDatum

Indefinite persists across sentences

Equations

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

structure Phenomena.Anaphora.DonkeyAnaphora.ProportionDatum : Type

The proportion problem: what is being counted?

• sentence : String
• farmerCountingReading : String

  Farmer-counting: proportion of farmers (who own donkeys)

• pairCountingReading : String

  Pair-counting: proportion of farmer-donkey pairs

• preferredReading : String

  Which reading is more natural?

• source : String

def Phenomena.Anaphora.DonkeyAnaphora.instReprProportionDatum.repr : ProportionDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.DonkeyAnaphora.instReprProportionDatum : Repr ProportionDatum

Equations

• Phenomena.Anaphora.DonkeyAnaphora.instReprProportionDatum = { reprPrec := Phenomena.Anaphora.DonkeyAnaphora.instReprProportionDatum.repr }

def Phenomena.Anaphora.DonkeyAnaphora.proportionProblem : ProportionDatum

Classic proportion problem case

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.donkeyData : List DonkeyDatum

All basic donkey data

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.weakStrongData : List WeakStrongDatum

All weak/strong reading data

Equations

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

def Phenomena.Anaphora.DonkeyAnaphora.discourseDonkeyData : List DiscourseDonkeyDatum

All discourse-level data

Equations

• Phenomena.Anaphora.DonkeyAnaphora.discourseDonkeyData = [Phenomena.Anaphora.DonkeyAnaphora.crossSententialDonkey, Phenomena.Anaphora.DonkeyAnaphora.indefinitePersists]