inductive Phenomena.Anaphora.Bridging.Felicity : Type

Felicity judgment for bridging examples

• ok : Felicity
• marginal : Felicity
• odd : Felicity

@[implicit_reducible]

instance Phenomena.Anaphora.Bridging.instDecidableEqFelicity : DecidableEq Felicity

Equations

• Phenomena.Anaphora.Bridging.instDecidableEqFelicity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.Anaphora.Bridging.instReprFelicity.repr : Felicity → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Phenomena.Anaphora.Bridging.instReprFelicity : Repr Felicity

Equations

• Phenomena.Anaphora.Bridging.instReprFelicity = { reprPrec := Phenomena.Anaphora.Bridging.instReprFelicity.repr }

inductive Phenomena.Anaphora.Bridging.DefiniteForm : Type

Definite form used in the bridging context

• theArticle : DefiniteForm

  English definite article "the"

• thatDem : DefiniteForm

  English demonstrative "that"

• mandarinBare : DefiniteForm

  Mandarin bare noun

• mandarinNaCl : DefiniteForm

  Mandarin demonstrative na + classifier

@[implicit_reducible]

instance Phenomena.Anaphora.Bridging.instDecidableEqDefiniteForm : DecidableEq DefiniteForm

Equations

• Phenomena.Anaphora.Bridging.instDecidableEqDefiniteForm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Phenomena.Anaphora.Bridging.instReprDefiniteForm : Repr DefiniteForm

Equations

• Phenomena.Anaphora.Bridging.instReprDefiniteForm = { reprPrec := Phenomena.Anaphora.Bridging.instReprDefiniteForm.repr }

def Phenomena.Anaphora.Bridging.instReprDefiniteForm.repr : DefiniteForm → Nat → Std.Format

Equations

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

structure Phenomena.Anaphora.Bridging.BridgingDatum : Type

A bridging anaphora datum

• sentence : String

  The full sentence/discourse

• antecedent : String

  The antecedent NP

• bridged : String

  The bridged definite NP

• bridgingType : Features.Definiteness.BridgingSubtype

  The bridging relation

• definiteForm : DefiniteForm

  Form of the definite (the, that, bare, na+CL)

• language : String

  Language

• felicity : Felicity

  Felicity judgment

• notes : String

  Notes

• source : String

  Source

def Phenomena.Anaphora.Bridging.englishPartWholeThe : BridgingDatum

English "the" in part-whole bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.englishPartWholeThat : BridgingDatum

English "that" in part-whole bridging: Degraded

Equations

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

def Phenomena.Anaphora.Bridging.englishRelationalThe : BridgingDatum

English "the" in relational bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.englishRelationalThat : BridgingDatum

English "that" in relational bridging: Degraded

Equations

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

def Phenomena.Anaphora.Bridging.mandarinPartWholeBare : BridgingDatum

Mandarin bare noun in part-whole bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.mandarinPartWholeNa : BridgingDatum

Mandarin na+CL in part-whole bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.mandarinRelationalBare : BridgingDatum

Mandarin bare noun in relational bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.mandarinRelationalNa : BridgingDatum

Mandarin na+CL in relational bridging: Good

Equations

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

def Phenomena.Anaphora.Bridging.ahnZhuExp1PartWhole : BridgingDatum

Ahn & Zhu Experiment 1: Part-whole condition

Equations

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

def Phenomena.Anaphora.Bridging.ahnZhuExp1Relational : BridgingDatum

Ahn & Zhu Experiment 1: Relational condition

Equations

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

def Phenomena.Anaphora.Bridging.englishBridgingData : List BridgingDatum

English bridging examples

Equations

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

def Phenomena.Anaphora.Bridging.mandarinBridgingData : List BridgingDatum

Mandarin bridging examples

Equations

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

def Phenomena.Anaphora.Bridging.allBridgingData : List BridgingDatum

All bridging data

Equations

• Phenomena.Anaphora.Bridging.allBridgingData = Phenomena.Anaphora.Bridging.englishBridgingData ++ Phenomena.Anaphora.Bridging.mandarinBridgingData