DegenTonhauser2021: experimental results (generated)

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

Two experiments testing whether listeners' prior beliefs in the content of a clausal complement modulate its projection, over twenty clause-embedding predicates and twenty contents, each content paired with a fact expected to raise or lower its prior probability. Experiment 1 measured the prior probability of the contents and the certainty that the speaker of a polar question is committed to them within participants; Experiments 2a and 2b measured the two on separate groups. The by-content prior means and by-predicate certainty means are plotted, not tabulated.

Raw data

• https://github.com/judith-tonhauser/projective-probability: materials, trial-level data and analysis code of both experiments (footnote 3); the means are recomputed from results/9-prior- projection/data/cd.csv (Exp. 1), results/1-prior/data/cd.csv (Exp. 2a) and results/3-projectivity/data/cd.csv (Exp. 2b), which already apply the paper's participant exclusions

References

• [DT21]

inductive DegenTonhauser2021.Predicate : Type

The twenty clause-embedding predicates of Figure 1c.

• acknowledge : Predicate

  acknowledge: a verb

• admit : Predicate

  admit: a verb

• announce : Predicate

  announce: a verb

• beAnnoyed : Predicate

  be annoyed: an adjective with the copula

• beRight : Predicate

  be right: an adjective with the copula

• confess : Predicate

  confess: a verb

• confirm : Predicate

  confirm: a verb

• demonstrate : Predicate

  demonstrate: a verb

• discover : Predicate

  discover: a verb

• establish : Predicate

  establish: a verb

• hear : Predicate

  hear: a verb

• inform : Predicate

  inform: a verb, its indirect object Sam in every stimulus

• know : Predicate

  know: a verb

• pretend : Predicate

  pretend: a verb

• prove : Predicate

  prove: a verb

• reveal : Predicate

  reveal: a verb

• say : Predicate

  say: a verb

• see : Predicate

  see: a verb

• suggest : Predicate

  suggest: a verb

• think : Predicate

  think: a verb

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqPredicate : DecidableEq Predicate

Equations

• DegenTonhauser2021.instDecidableEqPredicate x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DegenTonhauser2021.instReprPredicate.repr : Predicate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instReprPredicate : Repr Predicate

Equations

• DegenTonhauser2021.instReprPredicate = { reprPrec := DegenTonhauser2021.instReprPredicate.repr }

@[instance_reducible]

instance DegenTonhauser2021.instFintypePredicate : Fintype Predicate

Equations

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

inductive DegenTonhauser2021.Content : Type

The twenty complement contents, each paired between participants with a fact under which it was expected to have a lower or a higher prior probability (Supplement A).

• mary : Content

  Mary is pregnant: lower fact: Mary is a middle school student; higher fact: Mary is taking a prenatal yoga class

• josie : Content

  Josie went on vacation to France: lower fact: Josie doesn't have a passport; higher fact: Josie loves France

• emma : Content

  Emma studied on Saturday morning: lower fact: Emma is in first grade; higher fact: Emma is in law school

• olivia : Content

  Olivia sleeps until noon: lower fact: Olivia has two small children; higher fact: Olivia works the third shift

• sophia : Content

  Sophia got a tattoo: lower fact: Sophia is a high end fashion model; higher fact: Sophia is a hipster

• mia : Content

  Mia drank 2 cocktails last night: lower fact: Mia is a nun; higher fact: Mia is a college student

• isabella : Content

  Isabella ate a steak on Sunday: lower fact: Isabella is a vegetarian; higher fact: Isabella is from Argentina

• emily : Content

  Emily bought a car yesterday: lower fact: Emily never has any money; higher fact: Emily has been saving for a year

• grace : Content

  Grace visited her sister: lower fact: Grace hates her sister; higher fact: Grace loves her sister

• zoe : Content

  Zoe calculated the tip: lower fact: Zoe is 5 years old; higher fact: Zoe is a math major

• danny : Content

  Danny ate the last cupcake: lower fact: Danny is a diabetic; higher fact: Danny loves cake

• frank : Content

  Frank got a cat: lower fact: Frank is allergic to cats; higher fact: Frank has always wanted a pet

• jackson : Content

  Jackson ran 10 miles: lower fact: Jackson is obese; higher fact: Jackson is training for a marathon

• jayden : Content

  Jayden rented a car: lower fact: Jayden doesn't have a driver's license; higher fact: Jayden's car is in the shop

• tony : Content

  Tony had a drink last night: lower fact: Tony has been sober for 20 years; higher fact: Tony really likes to party with his friends

• josh : Content

  Josh learned to ride a bike yesterday: lower fact: Josh is a 75-year old man; higher fact: Josh is a 5-year old boy

• owen : Content

  Owen shoveled snow last winter: lower fact: Owen lives in New Orleans; higher fact: Owen lives in Chicago

• julian : Content

  Julian dances salsa: lower fact: Julian is German; higher fact: Julian is Cuban

• jon : Content

  Jon walks to work: lower fact: Jon lives 10 miles away from work; higher fact: Jon lives 2 blocks away from work

• charley : Content

  Charley speaks Spanish: lower fact: Charley lives in Korea; higher fact: Charley lives in Mexico

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqContent : DecidableEq Content

Equations

• DegenTonhauser2021.instDecidableEqContent x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2021.instReprContent : Repr Content

Equations

• DegenTonhauser2021.instReprContent = { reprPrec := DegenTonhauser2021.instReprContent.repr }

def DegenTonhauser2021.instReprContent.repr : Content → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instFintypeContent : Fintype Content

Equations

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

inductive DegenTonhauser2021.Design : Type

Whether the prior probability and certainty ratings came from the same participants.

• withinParticipant : Design

  within participant: Experiment 1: each participant rated the priors and, in a separate block, the certainties

• betweenParticipants : Design

  between participants: Experiments 2a (priors) and 2b (certainties), on separate groups

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqDesign : DecidableEq Design

Equations

• DegenTonhauser2021.instDecidableEqDesign x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2021.instReprDesign : Repr Design

Equations

• DegenTonhauser2021.instReprDesign = { reprPrec := DegenTonhauser2021.instReprDesign.repr }

def DegenTonhauser2021.instReprDesign.repr : Design → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instFintypeDesign : Fintype Design

Equations

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

inductive DegenTonhauser2021.Fact : Type

The fact condition of a content.

• lowerProbability : Fact

  lower probability: the fact under which the content was expected to be less likely

• higherProbability : Fact

  higher probability: the fact under which the content was expected to be more likely

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqFact : DecidableEq Fact

Equations

• DegenTonhauser2021.instDecidableEqFact x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2021.instReprFact : Repr Fact

Equations

• DegenTonhauser2021.instReprFact = { reprPrec := DegenTonhauser2021.instReprFact.repr }

def DegenTonhauser2021.instReprFact.repr : Fact → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instFintypeFact : Fintype Fact

Equations

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

structure DegenTonhauser2021.PriorRow : Type

A row of Figure 2 (Exp. 1); Figure A2, Supplement D (Exp. 2a): the mean prior probability rating of a content, given the fact.

• mean : Data.Experiments.Decimal

  The mean rating.

def DegenTonhauser2021.instDecidableEqPriorRow.decEq (x✝ x✝¹ : PriorRow) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2021.instDecidableEqPriorRow.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqPriorRow : DecidableEq PriorRow

Equations

• DegenTonhauser2021.instDecidableEqPriorRow = DegenTonhauser2021.instDecidableEqPriorRow.decEq

def DegenTonhauser2021.instReprPriorRow.repr : PriorRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instReprPriorRow : Repr PriorRow

Equations

• DegenTonhauser2021.instReprPriorRow = { reprPrec := DegenTonhauser2021.instReprPriorRow.repr }

def DegenTonhauser2021.prior : Design → Fact → Content → PriorRow

The cells of Figure 2 (Exp. 1); Figure A2, Supplement D (Exp. 2a), by design and fact and content; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• One or more equations did not get rendered due to their size.
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.mary = { mean := { mantissa := 23, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.josie = { mean := { mantissa := 12, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.emma = { mean := { mantissa := 32, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.olivia = { mean := { mantissa := 21, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.sophia = { mean := { mantissa := 42, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.mia = { mean := { mantissa := 22, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.isabella = { mean := { mantissa := 13, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.emily = { mean := { mantissa := 15, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.grace = { mean := { mantissa := 25, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.zoe = { mean := { mantissa := 19, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.danny = { mean := { mantissa := 28, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.frank = { mean := { mantissa := 17, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.jackson = { mean := { mantissa := 19, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.jayden = { mean := { mantissa := 18, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.tony = { mean := { mantissa := 22, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.josh = { mean := { mantissa := 24, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.owen = { mean := { mantissa := 28, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.julian = { mean := { mantissa := 40, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.jon = { mean := { mantissa := 24, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.charley = { mean := { mantissa := 28, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.mary = { mean := { mantissa := 82, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.josie = { mean := { mantissa := 73, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.emma = { mean := { mantissa := 68, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.olivia = { mean := { mantissa := 66, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.sophia = { mean := { mantissa := 63, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.mia = { mean := { mantissa := 58, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.emily = { mean := { mantissa := 56, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.grace = { mean := { mantissa := 79, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.zoe = { mean := { mantissa := 75, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.danny = { mean := { mantissa := 70, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.frank = { mean := { mantissa := 68, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.jackson = { mean := { mantissa := 77, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.jayden = { mean := { mantissa := 69, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.tony = { mean := { mantissa := 75, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.josh = { mean := { mantissa := 54, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.owen = { mean := { mantissa := 75, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.julian = { mean := { mantissa := 60, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.jon = { mean := { mantissa := 76, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.withinParticipant DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.charley = { mean := { mantissa := 80, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.mary = { mean := { mantissa := 11, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.josie = { mean := { mantissa := 8, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.emma = { mean := { mantissa := 26, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.olivia = { mean := { mantissa := 8, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.sophia = { mean := { mantissa := 28, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.mia = { mean := { mantissa := 13, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.emily = { mean := { mantissa := 13, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.grace = { mean := { mantissa := 23, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.zoe = { mean := { mantissa := 8, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.danny = { mean := { mantissa := 25, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.frank = { mean := { mantissa := 10, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.jayden = { mean := { mantissa := 10, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.tony = { mean := { mantissa := 11, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.josh = { mean := { mantissa := 21, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.owen = { mean := { mantissa := 16, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.julian = { mean := { mantissa := 33, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.lowerProbability DegenTonhauser2021.Content.jon = { mean := { mantissa := 12, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.mary = { mean := { mantissa := 88, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.josie = { mean := { mantissa := 70, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.emma = { mean := { mantissa := 76, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.mia = { mean := { mantissa := 53, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.emily = { mean := { mantissa := 48, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.grace = { mean := { mantissa := 84, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.zoe = { mean := { mantissa := 77, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.danny = { mean := { mantissa := 69, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.frank = { mean := { mantissa := 62, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.tony = { mean := { mantissa := 72, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.josh = { mean := { mantissa := 51, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.owen = { mean := { mantissa := 82, exponent := 2 } }
• DegenTonhauser2021.prior DegenTonhauser2021.Design.betweenParticipants DegenTonhauser2021.Fact.higherProbability DegenTonhauser2021.Content.jon = { mean := { mantissa := 80, exponent := 2 } }

structure DegenTonhauser2021.CertaintyRow : Type

A row of Figure 3 (Exp. 1); Figure 6 (Exp. 2b): the mean certainty rating of a predicate's complement, the speaker taken to be certain of it, by the fact condition of the content.

• mean : Data.Experiments.Decimal

  The mean rating.

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqCertaintyRow : DecidableEq CertaintyRow

Equations

• DegenTonhauser2021.instDecidableEqCertaintyRow = DegenTonhauser2021.instDecidableEqCertaintyRow.decEq

def DegenTonhauser2021.instDecidableEqCertaintyRow.decEq (x✝ x✝¹ : CertaintyRow) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2021.instDecidableEqCertaintyRow.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def DegenTonhauser2021.instReprCertaintyRow.repr : CertaintyRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instReprCertaintyRow : Repr CertaintyRow

Equations

• DegenTonhauser2021.instReprCertaintyRow = { reprPrec := DegenTonhauser2021.instReprCertaintyRow.repr }

def DegenTonhauser2021.certainty : Design → Fact → Predicate → CertaintyRow

The cells of Figure 3 (Exp. 1); Figure 6 (Exp. 2b), by design and fact and predicate; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

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

structure DegenTonhauser2021.ControlRow : Type

A row of Figures 3 and 6: the mean certainty rating of the main-clause controls, whose content was expected not to project.

• mean : Data.Experiments.Decimal

  The mean rating.

@[instance_reducible]

instance DegenTonhauser2021.instDecidableEqControlRow : DecidableEq ControlRow

Equations

• DegenTonhauser2021.instDecidableEqControlRow = DegenTonhauser2021.instDecidableEqControlRow.decEq

def DegenTonhauser2021.instDecidableEqControlRow.decEq (x✝ x✝¹ : ControlRow) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2021.instDecidableEqControlRow.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def DegenTonhauser2021.instReprControlRow.repr : ControlRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2021.instReprControlRow : Repr ControlRow

Equations

• DegenTonhauser2021.instReprControlRow = { reprPrec := DegenTonhauser2021.instReprControlRow.repr }

def DegenTonhauser2021.controls : Design → ControlRow

The cells of Figures 3 and 6, by design; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• DegenTonhauser2021.controls DegenTonhauser2021.Design.withinParticipant = { mean := { mantissa := 21, exponent := 2 } }
• DegenTonhauser2021.controls DegenTonhauser2021.Design.betweenParticipants = { mean := { mantissa := 19, exponent := 2 } }