Copredication Data

@cite{asher-2011} @cite{gotham-2017} @cite{pustejovsky-1995}

Empirical judgments for copredication — the phenomenon where predicates selecting different semantic aspects apply to the same polysemous noun phrase.

Phenomena

1. Book copredication: "The book is heavy and interesting" — heavy selects physical object, interesting selects informational content.

2. Counting under copredication: "Three books were mastered and burned" — ambiguous between counting physical volumes vs. informational contents.

3. Lunch copredication: "The lunch was delicious but took forever" — delicious selects food, took forever selects event.

inductive Phenomena.Polysemy.Acceptability : Type

Acceptability judgment for copredication examples.

• acceptable : Acceptability
• marginal : Acceptability
• unacceptable : Acceptability

instance Phenomena.Polysemy.instReprAcceptability : Repr Acceptability

Equations

• Phenomena.Polysemy.instReprAcceptability = { reprPrec := Phenomena.Polysemy.instReprAcceptability.repr }

def Phenomena.Polysemy.instReprAcceptability.repr : Acceptability → Nat → Std.Format

Equations

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

instance Phenomena.Polysemy.instDecidableEqAcceptability : DecidableEq Acceptability

Equations

• Phenomena.Polysemy.instDecidableEqAcceptability x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

structure Phenomena.Polysemy.CopredDatum : Type

A copredication datum: a sentence with two predicates on different aspects.

• sentence : String

  The sentence

• noun : String

  The polysemous noun

• aspect₁ : String

  The aspect selected by the first predicate

• aspect₂ : String

  The aspect selected by the second predicate

• judgment : Acceptability

  Acceptability judgment

instance Phenomena.Polysemy.instReprCopredDatum : Repr CopredDatum

Equations

• Phenomena.Polysemy.instReprCopredDatum = { reprPrec := Phenomena.Polysemy.instReprCopredDatum.repr }

def Phenomena.Polysemy.instReprCopredDatum.repr : CopredDatum → Nat → Std.Format

Equations

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

def Phenomena.Polysemy.bookHeavyInteresting : CopredDatum

The canonical book copredication example.

Equations

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

def Phenomena.Polysemy.lunchDeliciousLong : CopredDatum

Lunch copredication: food + event aspects.

Equations

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

def Phenomena.Polysemy.newspaperFiredTore : CopredDatum

Newspaper copredication: organization + physical aspects.

Equations

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

structure Phenomena.Polysemy.CountingDatum : Type

A counting-under-copredication datum.

• sentence : String

  The sentence

• noun : String

  The polysemous noun

• physicalCount : Nat

  Count under physical individuation

• informationalCount : Nat

  Count under informational individuation

• countsDiverge : Bool

  Whether the two counts diverge

instance Phenomena.Polysemy.instReprCountingDatum : Repr CountingDatum

Equations

• Phenomena.Polysemy.instReprCountingDatum = { reprPrec := Phenomena.Polysemy.instReprCountingDatum.repr }

def Phenomena.Polysemy.instReprCountingDatum.repr : CountingDatum → Nat → Std.Format

Equations

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

def Phenomena.Polysemy.masteredAndBurned : CountingDatum

"Three books were mastered and burned" with two copies of the same novel. @cite{gotham-2017}: physical count = 3, informational count = 2 (if one novel has two copies).

Equations

• Phenomena.Polysemy.masteredAndBurned = { sentence := "Three books were mastered and burned", noun := "book", physicalCount := 3, informationalCount := 2, countsDiverge := true }

def Phenomena.Polysemy.copredData : List CopredDatum

All copredication data points.

Equations

• Phenomena.Polysemy.copredData = [Phenomena.Polysemy.bookHeavyInteresting, Phenomena.Polysemy.lunchDeliciousLong, Phenomena.Polysemy.newspaperFiredTore]

theorem Phenomena.Polysemy.all_copred_acceptable (d : CopredDatum) : d ∈ copredData → d.judgment = Acceptability.acceptable

All copredication data points are acceptable.