AbramskySadrzadeh2014: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/AbramskySadrzadeh2014.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

The corpus frequencies behind the paper's probabilistic anaphora example (John gave the bananas to the monkeys. They were ripe. They were cheeky.): the British News corpus counts of the four adjective-noun patterns, and the printed distribution over the four candidate gluings. Locations are sections of the arXiv preprint (1403.3351v1).

References

• [AS14]

inductive AbramskySadrzadeh2014.Adjective : Type

The predicative adjectives of the two anaphoric sentences.

• ripe : Adjective

  ripe: They were ripe.

• cheeky : Adjective

  cheeky: They were cheeky.

@[instance_reducible]

instance AbramskySadrzadeh2014.instDecidableEqAdjective : DecidableEq Adjective

Equations

• AbramskySadrzadeh2014.instDecidableEqAdjective x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def AbramskySadrzadeh2014.instReprAdjective.repr : Adjective → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance AbramskySadrzadeh2014.instReprAdjective : Repr Adjective

Equations

• AbramskySadrzadeh2014.instReprAdjective = { reprPrec := AbramskySadrzadeh2014.instReprAdjective.repr }

@[instance_reducible]

instance AbramskySadrzadeh2014.instFintypeAdjective : Fintype Adjective

Equations

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

inductive AbramskySadrzadeh2014.Noun : Type

The candidate antecedents of the two pronouns.

• banana : Noun

  banana: the bananas, the referent y

• monkey : Noun

  monkey: the monkeys, the referent z

@[instance_reducible]

instance AbramskySadrzadeh2014.instDecidableEqNoun : DecidableEq Noun

Equations

• AbramskySadrzadeh2014.instDecidableEqNoun x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def AbramskySadrzadeh2014.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance AbramskySadrzadeh2014.instReprNoun : Repr Noun

Equations

• AbramskySadrzadeh2014.instReprNoun = { reprPrec := AbramskySadrzadeh2014.instReprNoun.repr }

@[instance_reducible]

instance AbramskySadrzadeh2014.instFintypeNoun : Fintype Noun

Equations

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

structure AbramskySadrzadeh2014.Frequency : Type

A row of section 5, example: the British News corpus frequency of an adjective-noun pattern.

• count : ℕ

  The number of occurrences.

@[instance_reducible]

instance AbramskySadrzadeh2014.instDecidableEqFrequency : DecidableEq Frequency

Equations

• AbramskySadrzadeh2014.instDecidableEqFrequency = AbramskySadrzadeh2014.instDecidableEqFrequency.decEq

def AbramskySadrzadeh2014.instDecidableEqFrequency.decEq (x✝ x✝¹ : Frequency) : Decidable (x✝ = x✝¹)

Equations

• AbramskySadrzadeh2014.instDecidableEqFrequency.decEq { count := a } { count := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance AbramskySadrzadeh2014.instReprFrequency : Repr Frequency

Equations

• AbramskySadrzadeh2014.instReprFrequency = { reprPrec := AbramskySadrzadeh2014.instReprFrequency.repr }

def AbramskySadrzadeh2014.instReprFrequency.repr : Frequency → ℕ → Std.Format

Equations

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

def AbramskySadrzadeh2014.frequency : Adjective → Noun → Frequency

The cells of section 5, example, by adjective and noun; checked against the page images.

Equations

• AbramskySadrzadeh2014.frequency AbramskySadrzadeh2014.Adjective.ripe AbramskySadrzadeh2014.Noun.banana = { count := 14 }
• AbramskySadrzadeh2014.frequency AbramskySadrzadeh2014.Adjective.ripe AbramskySadrzadeh2014.Noun.monkey = { count := 0 }
• AbramskySadrzadeh2014.frequency AbramskySadrzadeh2014.Adjective.cheeky AbramskySadrzadeh2014.Noun.banana = { count := 0 }
• AbramskySadrzadeh2014.frequency AbramskySadrzadeh2014.Adjective.cheeky AbramskySadrzadeh2014.Noun.monkey = { count := 10 }

structure AbramskySadrzadeh2014.GluingProbability : Type

A row of section 5, example, the table of d: the printed probability d(t) of the gluing resolving the first pronoun (ripe) and the second (cheeky) to the given antecedents.

• probability : Data.Experiments.Decimal

  The printed d(t).

def AbramskySadrzadeh2014.instDecidableEqGluingProbability.decEq (x✝ x✝¹ : GluingProbability) : Decidable (x✝ = x✝¹)

Equations

• AbramskySadrzadeh2014.instDecidableEqGluingProbability.decEq { probability := a } { probability := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance AbramskySadrzadeh2014.instDecidableEqGluingProbability : DecidableEq GluingProbability

Equations

• AbramskySadrzadeh2014.instDecidableEqGluingProbability = AbramskySadrzadeh2014.instDecidableEqGluingProbability.decEq

def AbramskySadrzadeh2014.instReprGluingProbability.repr : GluingProbability → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance AbramskySadrzadeh2014.instReprGluingProbability : Repr GluingProbability

Equations

• AbramskySadrzadeh2014.instReprGluingProbability = { reprPrec := AbramskySadrzadeh2014.instReprGluingProbability.repr }

def AbramskySadrzadeh2014.gluingProbability : Noun → Noun → GluingProbability

The cells of section 5, example, the table of d, by ripe and cheeky; checked against the page images.

Equations

• AbramskySadrzadeh2014.gluingProbability AbramskySadrzadeh2014.Noun.banana AbramskySadrzadeh2014.Noun.banana = { probability := { mantissa := 29, exponent := 2 } }
• AbramskySadrzadeh2014.gluingProbability AbramskySadrzadeh2014.Noun.banana AbramskySadrzadeh2014.Noun.monkey = { probability := { mantissa := 5, exponent := 1 } }
• AbramskySadrzadeh2014.gluingProbability AbramskySadrzadeh2014.Noun.monkey AbramskySadrzadeh2014.Noun.banana = { probability := { mantissa := 0, exponent := 0 } }
• AbramskySadrzadeh2014.gluingProbability AbramskySadrzadeh2014.Noun.monkey AbramskySadrzadeh2014.Noun.monkey = { probability := { mantissa := 205, exponent := 3 } }