BeltramaSchwarz2024: experimental results (generated)

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

Two experiments on American English round numerals, with the speaker described as Nerdy, as Chill, or not at all (between subjects), crossed with Screen Fit (within subjects): the number on a visible phone screen matched the uttered one, diverged from it largely, or diverged slightly (Imprecise). Experiment 1 (Covered Screen) asked which phone the speaker was looking at, a covered choice rejecting the visible one; Experiment 2 (Truth Value Judgment) showed the screen the speaker looked at and asked whether the answer was right. Rejection is a covered choice or a wrong judgment.

References

• [BS24b]

inductive BeltramaSchwarz2024.Task : Type

The task of an experiment.

• coveredScreen : Task

  Covered Screen: Experiment 1: choose the phone the speaker was looking at, a covered choice rejecting the visible screen

• truthValueJudgment : Task

  Truth Value Judgment: Experiment 2: judge the speaker's answer right or wrong given the visible screen

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqTask : DecidableEq Task

Equations

• BeltramaSchwarz2024.instDecidableEqTask x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instReprTask : Repr Task

Equations

• BeltramaSchwarz2024.instReprTask = { reprPrec := BeltramaSchwarz2024.instReprTask.repr }

def BeltramaSchwarz2024.instReprTask.repr : Task → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeTask : Fintype Task

Equations

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

inductive BeltramaSchwarz2024.Persona : Type

The stereotype the interlocutors are described as; the No.Persona baseline describes none.

• nerdy : Persona

  Nerdy: described as Nerdy

• chill : Persona

  Chill: described as Chill

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqPersona : DecidableEq Persona

Equations

• BeltramaSchwarz2024.instDecidableEqPersona x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprPersona.repr : Persona → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprPersona : Repr Persona

Equations

• BeltramaSchwarz2024.instReprPersona = { reprPrec := BeltramaSchwarz2024.instReprPersona.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypePersona : Fintype Persona

Equations

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

inductive BeltramaSchwarz2024.ScreenFit : Type

The relation of the number on the visible screen to the uttered one.

• match : ScreenFit

  Match: identical

• mismatch : ScreenFit

  Mismatch: largely divergent

• imprecise : ScreenFit

  Imprecise: slightly divergent

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqScreenFit : DecidableEq ScreenFit

Equations

• BeltramaSchwarz2024.instDecidableEqScreenFit x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprScreenFit.repr : ScreenFit → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprScreenFit : Repr ScreenFit

Equations

• BeltramaSchwarz2024.instReprScreenFit = { reprPrec := BeltramaSchwarz2024.instReprScreenFit.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeScreenFit : Fintype ScreenFit

Equations

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

inductive BeltramaSchwarz2024.Fit : Type

Screen Fit recoded as a binary factor for the analyses.

• control : Fit

  Control: Match and Mismatch collapsed

• imprecise : Fit

  Imprecise: the Imprecise level

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqFit : DecidableEq Fit

Equations

• BeltramaSchwarz2024.instDecidableEqFit x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instReprFit : Repr Fit

Equations

• BeltramaSchwarz2024.instReprFit = { reprPrec := BeltramaSchwarz2024.instReprFit.repr }

def BeltramaSchwarz2024.instReprFit.repr : Fit → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeFit : Fintype Fit

Equations

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

inductive BeltramaSchwarz2024.Range : Type

A range of values the bare numeral $200 can be taken to describe.

• exact : Range

  exactly $200: the exact value

• narrow : Range

  $195–$205: a range of ten dollars

• wide : Range

  $190–$210: a range of twenty dollars

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqRange : DecidableEq Range

Equations

• BeltramaSchwarz2024.instDecidableEqRange x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instReprRange : Repr Range

Equations

• BeltramaSchwarz2024.instReprRange = { reprPrec := BeltramaSchwarz2024.instReprRange.repr }

def BeltramaSchwarz2024.instReprRange.repr : Range → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeRange : Fintype Range

Equations

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

inductive BeltramaSchwarz2024.Descriptor : Type

A trait a persona is introduced with.

• studious : Descriptor

  studious: studious

• articulate : Descriptor

  articulate: articulate

• introverted : Descriptor

  introverted: introverted

• uptight : Descriptor

  uptight: uptight

• laidBack : Descriptor

  laid-back: laid-back

• sociable : Descriptor

  sociable: sociable

• extroverted : Descriptor

  extroverted: extroverted

• careFree : Descriptor

  care-free: care-free

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqDescriptor : DecidableEq Descriptor

Equations

• BeltramaSchwarz2024.instDecidableEqDescriptor x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instReprDescriptor : Repr Descriptor

Equations

• BeltramaSchwarz2024.instReprDescriptor = { reprPrec := BeltramaSchwarz2024.instReprDescriptor.repr }

def BeltramaSchwarz2024.instReprDescriptor.repr : Descriptor → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeDescriptor : Fintype Descriptor

Equations

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

inductive BeltramaSchwarz2024.Verdict : Type

The paper's reading of a comparison of rejection rates, the first condition against the second.

• higher : Verdict

  higher: higher

• lower : Verdict

  lower: lower

• noDifference : Verdict

  no difference: no difference

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqVerdict : DecidableEq Verdict

Equations

• BeltramaSchwarz2024.instDecidableEqVerdict x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprVerdict.repr : Verdict → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprVerdict : Repr Verdict

Equations

• BeltramaSchwarz2024.instReprVerdict = { reprPrec := BeltramaSchwarz2024.instReprVerdict.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeVerdict : Fintype Verdict

Equations

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

inductive BeltramaSchwarz2024.Model : Type

A regression the paper reports.

• main : Model

  Persona × Screen Fit: Persona (reference No.Persona) and binary Screen Fit, all trials

• similarity : Model

  Persona × Gender × Similarity: Persona and Speaker Gender sum coded and rescaled Similarity, Imprecise trials

• similarityNerdy : Model

  Similarity, Nerdy reference: the similarity model with Persona treatment coded, Nerdy as reference

• similarityChill : Model

  Similarity, Chill reference: the similarity model with Persona treatment coded, Chill as reference

• combined : Model

  Persona × Task: both experiments' Imprecise trials, Task sum coded

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqModel : DecidableEq Model

Equations

• BeltramaSchwarz2024.instDecidableEqModel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprModel.repr : Model → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprModel : Repr Model

Equations

• BeltramaSchwarz2024.instReprModel = { reprPrec := BeltramaSchwarz2024.instReprModel.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeModel : Fintype Model

Equations

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

inductive BeltramaSchwarz2024.Term : Type

A coefficient of a model.

• chill : Term

  Chill: Chill against No.Persona

• nerdy : Term

  Nerdy: Nerdy against No.Persona

• chillScreenFit : Term

  Chill × Screen Fit: its interaction with Screen Fit

• nerdyScreenFit : Term

  Nerdy × Screen Fit: its interaction with Screen Fit

• screenFit : Term

  Screen Fit: Screen Fit

• persona : Term

  Persona: Persona

• similarity : Term

  Similarity: Similarity

• gender : Term

  Speaker Gender: Speaker Gender

• personaSimilarity : Term

  Persona × Similarity: interaction

• personaGender : Term

  Persona × Speaker Gender: interaction

• genderSimilarity : Term

  Speaker Gender × Similarity: interaction

• personaGenderSimilarity : Term

  Persona × Speaker Gender × Similarity: interaction

• nerdyTask : Term

  Nerdy × Task: interaction

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqTerm : DecidableEq Term

Equations

• BeltramaSchwarz2024.instDecidableEqTerm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprTerm.repr : Term → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprTerm : Repr Term

Equations

• BeltramaSchwarz2024.instReprTerm = { reprPrec := BeltramaSchwarz2024.instReprTerm.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeTerm : Fintype Term

Equations

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

inductive BeltramaSchwarz2024.Bound : Type

How a p-value is printed.

• below : Bound

  <: as an upper bound

• exact : Bound

  =: as a value

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqBound : DecidableEq Bound

Equations

• BeltramaSchwarz2024.instDecidableEqBound x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprBound.repr : Bound → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprBound : Repr Bound

Equations

• BeltramaSchwarz2024.instReprBound = { reprPrec := BeltramaSchwarz2024.instReprBound.repr }

@[instance_reducible]

instance BeltramaSchwarz2024.instFintypeBound : Fintype Bound

Equations

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

def BeltramaSchwarz2024.items : ℕ

Experimental items, each in nine Persona × Screen Fit versions. (§4.2, p. 9; checked against the page images.)

Equations

• BeltramaSchwarz2024.items = 24

def BeltramaSchwarz2024.fillers : ℕ

Filler dialogues. (§4.2, p. 10; checked against the PDF text layer only.)

Equations

• BeltramaSchwarz2024.fillers = 24

def BeltramaSchwarz2024.impreciseTrials : ℕ

Imprecise trials per participant, against six Match and six Mismatch. (§4.2, p. 10; checked against the PDF text layer only.)

Equations

• BeltramaSchwarz2024.impreciseTrials = 12

def BeltramaSchwarz2024.uttered : ℕ

The amount of the utterance of Figure 1, in dollars. (Figure 1, p. 8; checked against the page images.)

Equations

• BeltramaSchwarz2024.uttered = 200

def BeltramaSchwarz2024.bandLow : ℕ

The least deviation of an Imprecise screen, in percent of the count unit. (§4.1, p. 9; checked against the page images.)

Equations

• BeltramaSchwarz2024.bandLow = 5

def BeltramaSchwarz2024.bandHigh : ℕ

The greatest deviation of an Imprecise screen, in percent of the count unit. (§4.1, p. 9; checked against the page images.)

Equations

• BeltramaSchwarz2024.bandHigh = 18

def BeltramaSchwarz2024.countUnit : ℕ

The count unit of the dollar amounts the band is relative to. (§4.1, p. 9; checked against the page images.)

Equations

• BeltramaSchwarz2024.countUnit = 100

structure BeltramaSchwarz2024.Participants : Type

A row of §4.4, p. 11 (Experiment 1); §5.2, p. 17 (Experiment 2): the participants of an experiment, recruited on Prolific.

• recruited : ℕ

  Recruited.

• ageMedian : ℕ

  Median age.

• female : ℕ

  Female.

• male : ℕ

  Male.

• other : ℕ

  Other.

def BeltramaSchwarz2024.instDecidableEqParticipants.decEq (x✝ x✝¹ : Participants) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqParticipants : DecidableEq Participants

Equations

• BeltramaSchwarz2024.instDecidableEqParticipants = BeltramaSchwarz2024.instDecidableEqParticipants.decEq

def BeltramaSchwarz2024.instReprParticipants.repr : Participants → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprParticipants : Repr Participants

Equations

• BeltramaSchwarz2024.instReprParticipants = { reprPrec := BeltramaSchwarz2024.instReprParticipants.repr }

def BeltramaSchwarz2024.participants : Task → Participants

The cells of §4.4, p. 11 (Experiment 1); §5.2, p. 17 (Experiment 2), by task; checked against the page images.

Equations

• BeltramaSchwarz2024.participants BeltramaSchwarz2024.Task.coveredScreen = { recruited := 282, ageMedian := 33, female := 166, male := 114, other := 2 }
• BeltramaSchwarz2024.participants BeltramaSchwarz2024.Task.truthValueJudgment = { recruited := 244, ageMedian := 33, female := 135, male := 102, other := 7 }

structure BeltramaSchwarz2024.Descriptors : Type

A row of §4.1, p. 8: the traits participants were told a persona describes.

• traits : List Descriptor

  The traits.

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqDescriptors : DecidableEq Descriptors

Equations

• BeltramaSchwarz2024.instDecidableEqDescriptors = BeltramaSchwarz2024.instDecidableEqDescriptors.decEq

def BeltramaSchwarz2024.instDecidableEqDescriptors.decEq (x✝ x✝¹ : Descriptors) : Decidable (x✝ = x✝¹)

Equations

• BeltramaSchwarz2024.instDecidableEqDescriptors.decEq { traits := a } { traits := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instReprDescriptors : Repr Descriptors

Equations

• BeltramaSchwarz2024.instReprDescriptors = { reprPrec := BeltramaSchwarz2024.instReprDescriptors.repr }

def BeltramaSchwarz2024.instReprDescriptors.repr : Descriptors → ℕ → Std.Format

Equations

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

def BeltramaSchwarz2024.descriptors : Persona → Descriptors

The cells of §4.1, p. 8, by persona; checked against the page images.

Equations

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

structure BeltramaSchwarz2024.Screen : Type

A row of Figure 1, p. 8: the visible screen of each Screen Fit level for the utterance "The price is $200".

• displayed : Data.Experiments.Decimal

  The amount on the visible screen, in dollars.

def BeltramaSchwarz2024.instDecidableEqScreen.decEq (x✝ x✝¹ : Screen) : Decidable (x✝ = x✝¹)

Equations

• BeltramaSchwarz2024.instDecidableEqScreen.decEq { displayed := a } { displayed := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqScreen : DecidableEq Screen

Equations

• BeltramaSchwarz2024.instDecidableEqScreen = BeltramaSchwarz2024.instDecidableEqScreen.decEq

def BeltramaSchwarz2024.instReprScreen.repr : Screen → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprScreen : Repr Screen

Equations

• BeltramaSchwarz2024.instReprScreen = { reprPrec := BeltramaSchwarz2024.instReprScreen.repr }

def BeltramaSchwarz2024.screens : ScreenFit → Screen

The cells of Figure 1, p. 8, by screenFit; checked against the page images.

Equations

• BeltramaSchwarz2024.screens BeltramaSchwarz2024.ScreenFit.match = { displayed := { mantissa := 20000, exponent := 2 } }
• BeltramaSchwarz2024.screens BeltramaSchwarz2024.ScreenFit.mismatch = { displayed := { mantissa := 65006, exponent := 2 } }
• BeltramaSchwarz2024.screens BeltramaSchwarz2024.ScreenFit.imprecise = { displayed := { mantissa := 20706, exponent := 2 } }

structure BeltramaSchwarz2024.RangeRow : Type

A row of §2, p. 5: the ranges of values the paper offers as interpretations of "The ticket costs $200".

• lower : ℕ

  Its least value, in dollars.

• upper : ℕ

  Its greatest value, in dollars.

def BeltramaSchwarz2024.instDecidableEqRangeRow.decEq (x✝ x✝¹ : RangeRow) : Decidable (x✝ = x✝¹)

Equations

• BeltramaSchwarz2024.instDecidableEqRangeRow.decEq { lower := a, upper := a_1 } { lower := b, upper := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqRangeRow : DecidableEq RangeRow

Equations

• BeltramaSchwarz2024.instDecidableEqRangeRow = BeltramaSchwarz2024.instDecidableEqRangeRow.decEq

def BeltramaSchwarz2024.instReprRangeRow.repr : RangeRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprRangeRow : Repr RangeRow

Equations

• BeltramaSchwarz2024.instReprRangeRow = { reprPrec := BeltramaSchwarz2024.instReprRangeRow.repr }

def BeltramaSchwarz2024.ranges : Range → RangeRow

The cells of §2, p. 5, by range; checked against the page images.

Equations

• BeltramaSchwarz2024.ranges BeltramaSchwarz2024.Range.exact = { lower := 200, upper := 200 }
• BeltramaSchwarz2024.ranges BeltramaSchwarz2024.Range.narrow = { lower := 195, upper := 205 }
• BeltramaSchwarz2024.ranges BeltramaSchwarz2024.Range.wide = { lower := 190, upper := 210 }

structure BeltramaSchwarz2024.VerdictRow : Type

A row of §4.5, p. 12; §5.3, p. 17; §6, p. 20; §7, p. 21: the paper's reading of the rejection rate in the Imprecise condition with a persona against the No.Persona baseline.

• verdict : Verdict

  The paper's reading of its rejection rate against No.Persona.

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqVerdictRow : DecidableEq VerdictRow

Equations

• BeltramaSchwarz2024.instDecidableEqVerdictRow = BeltramaSchwarz2024.instDecidableEqVerdictRow.decEq

def BeltramaSchwarz2024.instDecidableEqVerdictRow.decEq (x✝ x✝¹ : VerdictRow) : Decidable (x✝ = x✝¹)

Equations

• BeltramaSchwarz2024.instDecidableEqVerdictRow.decEq { verdict := a } { verdict := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def BeltramaSchwarz2024.instReprVerdictRow.repr : VerdictRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprVerdictRow : Repr VerdictRow

Equations

• BeltramaSchwarz2024.instReprVerdictRow = { reprPrec := BeltramaSchwarz2024.instReprVerdictRow.repr }

def BeltramaSchwarz2024.verdicts : Task → Persona → VerdictRow

The cells of §4.5, p. 12; §5.3, p. 17; §6, p. 20; §7, p. 21, by task and persona; checked against the page images.

Equations

• BeltramaSchwarz2024.verdicts BeltramaSchwarz2024.Task.coveredScreen BeltramaSchwarz2024.Persona.nerdy = { verdict := BeltramaSchwarz2024.Verdict.higher }
• BeltramaSchwarz2024.verdicts BeltramaSchwarz2024.Task.coveredScreen BeltramaSchwarz2024.Persona.chill = { verdict := BeltramaSchwarz2024.Verdict.lower }
• BeltramaSchwarz2024.verdicts BeltramaSchwarz2024.Task.truthValueJudgment BeltramaSchwarz2024.Persona.nerdy = { verdict := BeltramaSchwarz2024.Verdict.noDifference }
• BeltramaSchwarz2024.verdicts BeltramaSchwarz2024.Task.truthValueJudgment BeltramaSchwarz2024.Persona.chill = { verdict := BeltramaSchwarz2024.Verdict.lower }

structure BeltramaSchwarz2024.PersonaContrast : Type

A row of §4.5, pp. 12–13; §5.3, p. 17; §6, p. 20: a contrast of rejection rates between a persona and No.Persona, extracted with emmeans.

• task : Task

  The task.

• fit : Fit

  The recoded Screen Fit.

• persona : Persona

  The persona compared with No.Persona.

• se : Data.Experiments.Decimal

  The standard error.

• z : Data.Experiments.Decimal

  The z statistic, unsigned as printed.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

def BeltramaSchwarz2024.instDecidableEqPersonaContrast.decEq (x✝ x✝¹ : PersonaContrast) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqPersonaContrast : DecidableEq PersonaContrast

Equations

• BeltramaSchwarz2024.instDecidableEqPersonaContrast = BeltramaSchwarz2024.instDecidableEqPersonaContrast.decEq

def BeltramaSchwarz2024.instReprPersonaContrast.repr : PersonaContrast → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprPersonaContrast : Repr PersonaContrast

Equations

• BeltramaSchwarz2024.instReprPersonaContrast = { reprPrec := BeltramaSchwarz2024.instReprPersonaContrast.repr }

def BeltramaSchwarz2024.personaContrasts : List PersonaContrast

The 8 rows of §4.5, pp. 12–13; §5.3, p. 17; §6, p. 20, in the paper's order; checked against the page images.

Equations

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

structure BeltramaSchwarz2024.TaskContrast : Type

A row of §6, pp. 20–21: a contrast of Imprecise rejection rates between the two tasks within a persona condition.

• persona : Option Persona

  The persona condition, none for No.Persona.

• verdict : Verdict

  The paper's reading of the Truth Value Judgment rejection rate against the Covered Screen one.

• se : Data.Experiments.Decimal

  The standard error.

• z : Data.Experiments.Decimal

  The z statistic.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqTaskContrast : DecidableEq TaskContrast

Equations

• BeltramaSchwarz2024.instDecidableEqTaskContrast = BeltramaSchwarz2024.instDecidableEqTaskContrast.decEq

def BeltramaSchwarz2024.instDecidableEqTaskContrast.decEq (x✝ x✝¹ : TaskContrast) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprTaskContrast : Repr TaskContrast

Equations

• BeltramaSchwarz2024.instReprTaskContrast = { reprPrec := BeltramaSchwarz2024.instReprTaskContrast.repr }

def BeltramaSchwarz2024.instReprTaskContrast.repr : TaskContrast → ℕ → Std.Format

Equations

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

def BeltramaSchwarz2024.taskContrasts : List TaskContrast

The 3 rows of §6, pp. 20–21, in the paper's order; checked against the page images.

Equations

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

structure BeltramaSchwarz2024.Coefficient : Type

A row of §4.5, pp. 12–15; §5.3, pp. 17–19; §6, p. 20: a coefficient of a mixed-effects logistic regression on rejections, covered choices in Experiment 1 and wrong judgments in Experiment 2.

• task : Task

  The experiment, Truth Value Judgment for the combined analysis.

• model : Model

  The model.

• term : Term

  The coefficient.

• beta : Data.Experiments.Decimal

  Its estimate.

• se : Data.Experiments.Decimal

  The standard error.

• z : Data.Experiments.Decimal

  The z statistic, unsigned as printed.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

def BeltramaSchwarz2024.instDecidableEqCoefficient.decEq (x✝ x✝¹ : Coefficient) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instDecidableEqCoefficient : DecidableEq Coefficient

Equations

• BeltramaSchwarz2024.instDecidableEqCoefficient = BeltramaSchwarz2024.instDecidableEqCoefficient.decEq

def BeltramaSchwarz2024.instReprCoefficient.repr : Coefficient → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BeltramaSchwarz2024.instReprCoefficient : Repr Coefficient

Equations

• BeltramaSchwarz2024.instReprCoefficient = { reprPrec := BeltramaSchwarz2024.instReprCoefficient.repr }

def BeltramaSchwarz2024.coefficients : List Coefficient

The 26 rows of §4.5, pp. 12–15; §5.3, pp. 17–19; §6, p. 20, in the paper's order; checked against the page images.

Equations

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