structure Phenomena.Anaphora.BathroomSentences.BathroomDatum : Type

A bathroom sentence datum.

• sentence : String

  The full sentence

• disjunct1 : String

  First disjunct (typically negated existential)

• disjunct2 : String

  Second disjunct (with anaphora)

• anaphor : String

  The anaphoric element

• antecedent : String

  The antecedent (under negation)

• felicitous : Bool

  Is the sentence felicitous?

• hasModal : Bool

  Does it have a modal?

• notes : String

  Notes

• source : String

  Source

def Phenomena.Anaphora.BathroomSentences.instReprBathroomDatum.repr : BathroomDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.BathroomSentences.instReprBathroomDatum : Repr BathroomDatum

Equations

• Phenomena.Anaphora.BathroomSentences.instReprBathroomDatum = { reprPrec := Phenomena.Anaphora.BathroomSentences.instReprBathroomDatum.repr }

def Phenomena.Anaphora.BathroomSentences.classicBathroom : BathroomDatum

Classic bathroom sentence

Equations

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

def Phenomena.Anaphora.BathroomSentences.bathroomWithMight : BathroomDatum

Bathroom with explicit modal

Equations

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

def Phenomena.Anaphora.BathroomSentences.bathroomDefinite : BathroomDatum

Bathroom with definite article

Equations

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

def Phenomena.Anaphora.BathroomSentences.lostKey : BathroomDatum

Lost key example

Equations

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

def Phenomena.Anaphora.BathroomSentences.nobodyCame : BathroomDatum

Nobody came variant

Equations

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

def Phenomena.Anaphora.BathroomSentences.neverBathroom : BathroomDatum

With quantificational adverb

Equations

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

def Phenomena.Anaphora.BathroomSentences.conditionalVersion : BathroomDatum

If-then version (same pattern)

Equations

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

def Phenomena.Anaphora.BathroomSentences.unlessVersion : BathroomDatum

Unless version

Equations

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

def Phenomena.Anaphora.BathroomSentences.standardNegation : BathroomDatum

Standard negation blocks (not bathroom pattern)

Equations

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

def Phenomena.Anaphora.BathroomSentences.conjunctionVersion : BathroomDatum

Conjunction instead of disjunction

Equations

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

def Phenomena.Anaphora.BathroomSentences.wrongOrder : BathroomDatum

Wrong disjunction order

Equations

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

structure Phenomena.Anaphora.BathroomSentences.ModalSubordinationDatum : Type

Connection to modal subordination.

"A wolf might come. It would eat you first."

Similar pattern: anaphora to hypothetical/modal entity.

• sentences : List String
• anaphor : String
• antecedent : String
• felicitous : Bool
• notes : String
• source : String

def Phenomena.Anaphora.BathroomSentences.instReprModalSubordinationDatum.repr : ModalSubordinationDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.BathroomSentences.instReprModalSubordinationDatum : Repr ModalSubordinationDatum

Equations

• Phenomena.Anaphora.BathroomSentences.instReprModalSubordinationDatum = { reprPrec := Phenomena.Anaphora.BathroomSentences.instReprModalSubordinationDatum.repr }

def Phenomena.Anaphora.BathroomSentences.wolfExample : ModalSubordinationDatum

Equations

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

def Phenomena.Anaphora.BathroomSentences.burglarExample : ModalSubordinationDatum

Equations

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

structure Phenomena.Anaphora.BathroomSentences.DoubleNegationDatum : Type

Double negation enables anaphora.

"It's not the case that there's no bathroom. It's upstairs."

DNE: ¬¬∃x ≈ ∃x, so x becomes accessible.

• sentence : String
• followUp : String
• anaphor : String
• antecedent : String
• felicitous : Bool
• notes : String
• source : String

def Phenomena.Anaphora.BathroomSentences.instReprDoubleNegationDatum.repr : DoubleNegationDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.BathroomSentences.instReprDoubleNegationDatum : Repr DoubleNegationDatum

Equations

• Phenomena.Anaphora.BathroomSentences.instReprDoubleNegationDatum = { reprPrec := Phenomena.Anaphora.BathroomSentences.instReprDoubleNegationDatum.repr }

def Phenomena.Anaphora.BathroomSentences.doubleNegBathroom : DoubleNegationDatum

Equations

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

def Phenomena.Anaphora.BathroomSentences.doubleNegNobody : DoubleNegationDatum

Equations

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

def Phenomena.Anaphora.BathroomSentences.bathroomData : List BathroomDatum

All bathroom sentence examples

Equations

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

def Phenomena.Anaphora.BathroomSentences.felicitousBathroom : List BathroomDatum

Felicitous bathroom sentences

Equations

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

def Phenomena.Anaphora.BathroomSentences.infelicitousBathroom : List BathroomDatum

Infelicitous contrasts

Equations

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

def Phenomena.Anaphora.BathroomSentences.modalSubordinationData : List ModalSubordinationDatum

Modal subordination examples

Equations

• Phenomena.Anaphora.BathroomSentences.modalSubordinationData = [Phenomena.Anaphora.BathroomSentences.wolfExample, Phenomena.Anaphora.BathroomSentences.burglarExample]

def Phenomena.Anaphora.BathroomSentences.doubleNegationData : List DoubleNegationDatum

Double negation examples

Equations

• Phenomena.Anaphora.BathroomSentences.doubleNegationData = [Phenomena.Anaphora.BathroomSentences.doubleNegBathroom, Phenomena.Anaphora.BathroomSentences.doubleNegNobody]