structure Phenomena.Anaphora.ModalSubordination.ModalSubDatum : Type

A modal subordination datum.

• sentence1 : String

  First sentence (introduces entity under modal)

• sentence2 : String

  Second sentence (with anaphora)

• modal1 : String

  The modal in sentence 1

• modal2 : String

  The modal/mood in sentence 2

• anaphor : String

  The anaphoric element

• antecedent : String

  The antecedent

• felicitous : Bool

  Is the discourse felicitous?

• notes : String

  Notes

• source : String

  Source

instance Phenomena.Anaphora.ModalSubordination.instReprModalSubDatum : Repr ModalSubDatum

Equations

• Phenomena.Anaphora.ModalSubordination.instReprModalSubDatum = { reprPrec := Phenomena.Anaphora.ModalSubordination.instReprModalSubDatum.repr }

def Phenomena.Anaphora.ModalSubordination.instReprModalSubDatum.repr : ModalSubDatum → Nat → Std.Format

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfMightWould : ModalSubDatum

Classic wolf example

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfMightCould : ModalSubDatum

With could instead of would

Equations

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

def Phenomena.Anaphora.ModalSubordination.burglarMightWould : ModalSubDatum

Burglar variant

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfMightIndicative : ModalSubDatum

Indicative blocks

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfMightWill : ModalSubDatum

Will doesn't work either

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfMightMust : ModalSubDatum

Must doesn't work

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfCouldWould : ModalSubDatum

Could...would

Equations

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

def Phenomena.Anaphora.ModalSubordination.visitorMayWould : ModalSubDatum

May...would (deontic reading)

Equations

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

def Phenomena.Anaphora.ModalSubordination.wolfProbablyWould : ModalSubDatum

Probably...would (less clear)

Equations

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

structure Phenomena.Anaphora.ModalSubordination.CounterfactualDatum : Type

Modal subordination connects to counterfactual conditionals.

"If a wolf came, it would eat you." has similar structure.

• conditional : String
• antecedent : String
• consequent : String
• anaphor : String
• antecedentNP : String
• felicitous : Bool
• notes : String
• source : String

def Phenomena.Anaphora.ModalSubordination.instReprCounterfactualDatum.repr : CounterfactualDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.ModalSubordination.instReprCounterfactualDatum : Repr CounterfactualDatum

Equations

• Phenomena.Anaphora.ModalSubordination.instReprCounterfactualDatum = { reprPrec := Phenomena.Anaphora.ModalSubordination.instReprCounterfactualDatum.repr }

def Phenomena.Anaphora.ModalSubordination.counterfactualWolf : CounterfactualDatum

Counterfactual wolf

Equations

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

def Phenomena.Anaphora.ModalSubordination.counterfactualIndicative : CounterfactualDatum

Counterfactual with indicative consequent

Equations

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

structure Phenomena.Anaphora.ModalSubordination.AccessibilityDatum : Type

@cite{hofmann-2025} distinguishes three accessibility classes:

1. Veridical: Entity asserted to exist
2. Hypothetical: Entity exists in considered possibilities
3. Counterfactual: Entity exists in non-actual possibilities

Modal subordination involves hypothetical → hypothetical transition.

• sentence : String
• accessibilityClass : String
• canAnaphorize : Bool
• notes : String
• source : String

def Phenomena.Anaphora.ModalSubordination.instReprAccessibilityDatum.repr : AccessibilityDatum → Nat → Std.Format

Equations

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

instance Phenomena.Anaphora.ModalSubordination.instReprAccessibilityDatum : Repr AccessibilityDatum

Equations

• Phenomena.Anaphora.ModalSubordination.instReprAccessibilityDatum = { reprPrec := Phenomena.Anaphora.ModalSubordination.instReprAccessibilityDatum.repr }

def Phenomena.Anaphora.ModalSubordination.veridicalAccess : AccessibilityDatum

Equations

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

def Phenomena.Anaphora.ModalSubordination.hypotheticalAccess : AccessibilityDatum

Equations

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

def Phenomena.Anaphora.ModalSubordination.counterfactualAccess : AccessibilityDatum

Equations

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

def Phenomena.Anaphora.ModalSubordination.modalSubData : List ModalSubDatum

All modal subordination examples

Equations

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

def Phenomena.Anaphora.ModalSubordination.felicitousModalSub : List ModalSubDatum

Felicitous modal subordination

Equations

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

def Phenomena.Anaphora.ModalSubordination.infelicitousModalSub : List ModalSubDatum

Infelicitous modal subordination

Equations

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

def Phenomena.Anaphora.ModalSubordination.counterfactualData : List CounterfactualDatum

Counterfactual examples

Equations

• Phenomena.Anaphora.ModalSubordination.counterfactualData = [Phenomena.Anaphora.ModalSubordination.counterfactualWolf, Phenomena.Anaphora.ModalSubordination.counterfactualIndicative]

def Phenomena.Anaphora.ModalSubordination.accessibilityData : List AccessibilityDatum

Accessibility class examples

Equations

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