Linglib.Phenomena.Anaphora.Bridging

source

inductive Phenomena.Anaphora.Bridging.Felicity :

Type

Felicity judgment for bridging examples

ok : Felicity
marginal : Felicity
odd : Felicity

Instances For

source

instance Phenomena.Anaphora.Bridging.instDecidableEqFelicity :

DecidableEq Felicity

Equations

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

source

instance Phenomena.Anaphora.Bridging.instReprFelicity :

Repr Felicity

Equations

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

source

def Phenomena.Anaphora.Bridging.instReprFelicity.repr :

Felicity → Nat → Std.Format

Equations

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

Instances For

source

def Phenomena.Anaphora.Bridging.instBEqFelicity.beq :

Felicity → Felicity → Bool

Equations

Phenomena.Anaphora.Bridging.instBEqFelicity.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

Instances For

source

instance Phenomena.Anaphora.Bridging.instBEqFelicity :

BEq Felicity

Equations

Phenomena.Anaphora.Bridging.instBEqFelicity = { beq := Phenomena.Anaphora.Bridging.instBEqFelicity.beq }

source

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

Instances For

source

instance Phenomena.Anaphora.Bridging.instDecidableEqDefiniteForm :

DecidableEq DefiniteForm

Equations

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

source

def Phenomena.Anaphora.Bridging.instReprDefiniteForm.repr :

DefiniteForm → Nat → Std.Format

Equations

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

Instances For

source

instance Phenomena.Anaphora.Bridging.instReprDefiniteForm :

Repr DefiniteForm

Equations

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

source

instance Phenomena.Anaphora.Bridging.instBEqDefiniteForm :

BEq DefiniteForm

Equations

Phenomena.Anaphora.Bridging.instBEqDefiniteForm = { beq := Phenomena.Anaphora.Bridging.instBEqDefiniteForm.beq }

source

def Phenomena.Anaphora.Bridging.instBEqDefiniteForm.beq :

DefiniteForm → DefiniteForm → Bool

Equations

Phenomena.Anaphora.Bridging.instBEqDefiniteForm.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

Instances For

source

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 : Core.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

Instances For

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

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.

Instances For

source

def Phenomena.Anaphora.Bridging.englishBridgingData :

List BridgingDatum

English bridging examples

Equations

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

Instances For

source

def Phenomena.Anaphora.Bridging.mandarinBridgingData :

List BridgingDatum

Mandarin bridging examples

Equations

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

Instances For

source

def Phenomena.Anaphora.Bridging.allBridgingData :

List BridgingDatum

All bridging data

Equations

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

Instances For