RomoliEtAl2026: statistics (generated)

Auto-generated from Linglib/Data/Statistics/RomoliEtAl2026.json by scripts/gen_statistics.py. Do not edit by hand: edit the JSON and re-run the generator.

Three web-based truth-value judgment experiments with a plural definite bound by a quantifier: 'Every boy opened his presents' against 'No boy opened his presents' (Experiment 1) and against 'Not every boy opened his presents' (Experiment 2), and 'Exactly two boys opened their presents' (Experiment 3). Experiments 1 and 2 are those of Augurzky et al. (2023), reanalysed. Each picture shows four children with nine presents each, opened ones coloured and closed ones grey. CONTEXT, a family rule that opening the presents is prohibited (PROHIBITED) or required (REQUIRED) before the guests arrive, is between participants and is reinforced by a first task asking whether the rule was obeyed; PICTURE (control or target) and POLARITY (the positive or negative quantifier, or the positive or negative part of exactly two) are within participants. Participants rated how well the sentence describes the picture on a five-point scale from 'completely true' to 'completely false'. The target conditions are analysed by proportional-odds cumulative logit mixed-effects models with CONTEXT sum-coded (STRICT -0.5, LAX 0.5, LAX being PROHIBITED for the positive condition and REQUIRED for the negative) and POLARITY treatment-coded with the negative condition as reference level. The random-effect estimates of Tables 5, 8 and 11 are not transcribed.

References

• [RSA+26]

inductive RomoliEtAl2026.Experiment : Type

The experiment.

• one : Experiment

  Experiment 1: every against no

• two : Experiment

  Experiment 2: every against not every

• three : Experiment

  Experiment 3: exactly two

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqExperiment : DecidableEq Experiment

Equations

• RomoliEtAl2026.instDecidableEqExperiment x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RomoliEtAl2026.instReprExperiment.repr : Experiment → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprExperiment : Repr Experiment

Equations

• RomoliEtAl2026.instReprExperiment = { reprPrec := RomoliEtAl2026.instReprExperiment.repr }

@[instance_reducible]

instance RomoliEtAl2026.instFintypeExperiment : Fintype Experiment

Equations

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

inductive RomoliEtAl2026.Quantifier : Type

The quantifier binding the plural definite, (23).

• every : Quantifier

  every: 'Every boy opened his presents'

• no : Quantifier

  no: 'No boy opened his presents'

• notEvery : Quantifier

  not every: 'Not every boy opened his presents'

• exactlyTwo : Quantifier

  exactly two: 'Exactly two boys opened their presents'

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqQuantifier : DecidableEq Quantifier

Equations

• RomoliEtAl2026.instDecidableEqQuantifier x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RomoliEtAl2026.instReprQuantifier.repr : Quantifier → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprQuantifier : Repr Quantifier

Equations

• RomoliEtAl2026.instReprQuantifier = { reprPrec := RomoliEtAl2026.instReprQuantifier.repr }

@[instance_reducible]

instance RomoliEtAl2026.instFintypeQuantifier : Fintype Quantifier

Equations

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

inductive RomoliEtAl2026.Polarity : Type

The factor POLARITY: the positive or negative quantifier, or the positive or negative part of the meaning of exactly two.

• positive : Polarity

  POSITIVE: every, or the positive part of exactly two

• negative : Polarity

  NEGATIVE: no or not every, or the negative part of exactly two

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqPolarity : DecidableEq Polarity

Equations

• RomoliEtAl2026.instDecidableEqPolarity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprPolarity : Repr Polarity

Equations

• RomoliEtAl2026.instReprPolarity = { reprPrec := RomoliEtAl2026.instReprPolarity.repr }

def RomoliEtAl2026.instReprPolarity.repr : Polarity → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypePolarity : Fintype Polarity

Equations

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

inductive RomoliEtAl2026.Context : Type

The factor CONTEXT: the family rule.

• prohibited : Context

  PROHIBITED: opening the presents is prohibited before the grandparents arrive, which raises whether any boy opened any of his presents

• required : Context

  REQUIRED: opening the presents is required before the aunt and uncle arrive, which raises whether every boy opened all of his presents

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqContext : DecidableEq Context

Equations

• RomoliEtAl2026.instDecidableEqContext x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprContext : Repr Context

Equations

• RomoliEtAl2026.instReprContext = { reprPrec := RomoliEtAl2026.instReprContext.repr }

def RomoliEtAl2026.instReprContext.repr : Context → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypeContext : Fintype Context

Equations

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

inductive RomoliEtAl2026.Recoding : Type

CONTEXT as Figures 4 and 6 recode it.

• lax : Recoding

  LAX: the context favouring non-maximality, PROHIBITED for the positive condition and REQUIRED for the negative

• strict : Recoding

  STRICT: the context favouring maximality

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqRecoding : DecidableEq Recoding

Equations

• RomoliEtAl2026.instDecidableEqRecoding x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprRecoding : Repr Recoding

Equations

• RomoliEtAl2026.instReprRecoding = { reprPrec := RomoliEtAl2026.instReprRecoding.repr }

def RomoliEtAl2026.instReprRecoding.repr : Recoding → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypeRecoding : Fintype Recoding

Equations

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

inductive RomoliEtAl2026.Picture : Type

The factor PICTURE, as the captions of Figures 3, 5 and 7 name its levels.

• control : Picture

  CONTROL: a control picture, true for one sentence and false for the other

• trueControl : Picture

  TRUE CONTROL: a control picture on which the sentence is true

• falseControl : Picture

  FALSE CONTROL: a control picture on which the sentence is false

• target : Picture

  TARGET: a picture on which the sentence is true on a non-maximal reading only

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqPicture : DecidableEq Picture

Equations

• RomoliEtAl2026.instDecidableEqPicture x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprPicture : Repr Picture

Equations

• RomoliEtAl2026.instReprPicture = { reprPrec := RomoliEtAl2026.instReprPicture.repr }

def RomoliEtAl2026.instReprPicture.repr : Picture → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypePicture : Fintype Picture

Equations

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

inductive RomoliEtAl2026.Truth : Type

A picture in the legends of Figures 4, 6 and 8.

• trueControl : Truth

  True: the true control

• target : Truth

  Target: the target

• falseControl : Truth

  False: the false control

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqTruth : DecidableEq Truth

Equations

• RomoliEtAl2026.instDecidableEqTruth x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RomoliEtAl2026.instReprTruth.repr : Truth → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprTruth : Repr Truth

Equations

• RomoliEtAl2026.instReprTruth = { reprPrec := RomoliEtAl2026.instReprTruth.repr }

@[instance_reducible]

instance RomoliEtAl2026.instFintypeTruth : Fintype Truth

Equations

• RomoliEtAl2026.instFintypeTruth = { elems := { val := ↑RomoliEtAl2026.Truth.enumList, nodup := RomoliEtAl2026.Truth.enumList_nodup }, complete := RomoliEtAl2026.instFintypeTruth._proof_1 }

inductive RomoliEtAl2026.Effect : Type

The term of a model that a test is of.

• context : Effect

  CONTEXT: the simple effect of CONTEXT on the negative condition, the reference level of POLARITY

• polarity : Effect

  POLARITY: the main effect of POLARITY

• interaction : Effect

  CONTEXT × POLARITY: the interaction of CONTEXT and POLARITY

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqEffect : DecidableEq Effect

Equations

• RomoliEtAl2026.instDecidableEqEffect x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprEffect : Repr Effect

Equations

• RomoliEtAl2026.instReprEffect = { reprPrec := RomoliEtAl2026.instReprEffect.repr }

def RomoliEtAl2026.instReprEffect.repr : Effect → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypeEffect : Fintype Effect

Equations

• RomoliEtAl2026.instFintypeEffect = { elems := { val := ↑RomoliEtAl2026.Effect.enumList, nodup := RomoliEtAl2026.Effect.enumList_nodup }, complete := RomoliEtAl2026.instFintypeEffect._proof_1 }

inductive RomoliEtAl2026.Term : Type

A fixed effect of a model.

• theta1 : Term

  θ1: the first threshold

• theta2 : Term

  θ2: the second threshold

• theta3 : Term

  θ3: the third threshold

• theta4 : Term

  θ4: the fourth threshold

• context : Term

  CONTEXT: CONTEXT

• polarity : Term

  POLARITY: POLARITY

• interaction : Term

  CONTEXT × POLARITY: their interaction

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqTerm : DecidableEq Term

Equations

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

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

Equations

• One or more equations did not get rendered due to their size.
• RomoliEtAl2026.instReprTerm.repr RomoliEtAl2026.Term.theta1 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RomoliEtAl2026.Term.theta1")).group prec✝
• RomoliEtAl2026.instReprTerm.repr RomoliEtAl2026.Term.theta2 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RomoliEtAl2026.Term.theta2")).group prec✝
• RomoliEtAl2026.instReprTerm.repr RomoliEtAl2026.Term.theta3 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RomoliEtAl2026.Term.theta3")).group prec✝
• RomoliEtAl2026.instReprTerm.repr RomoliEtAl2026.Term.theta4 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RomoliEtAl2026.Term.theta4")).group prec✝

@[instance_reducible]

instance RomoliEtAl2026.instReprTerm : Repr Term

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instFintypeTerm : Fintype Term

Equations

• RomoliEtAl2026.instFintypeTerm = { elems := { val := ↑RomoliEtAl2026.Term.enumList, nodup := RomoliEtAl2026.Term.enumList_nodup }, complete := RomoliEtAl2026.instFintypeTerm._proof_1 }

def RomoliEtAl2026.boys : ℕ

The children in a picture. (§3.3.1; checked against the PDF text layer only.)

Equations

• RomoliEtAl2026.boys = 4

def RomoliEtAl2026.presents : ℕ

The presents of each child. (§3.3.1; checked against the PDF text layer only.)

Equations

• RomoliEtAl2026.presents = 9

def RomoliEtAl2026.scalePoints : ℕ

The points of the rating scale. (§3.1; checked against the PDF text layer only.)

Equations

• RomoliEtAl2026.scalePoints = 5

def RomoliEtAl2026.lists : ℕ

The lists the items of each experiment were spread over, 2 contexts × 2 genders × 2 ways of labelling the response buttons. (§3.3.1, §3.4.1, §3.5.1; checked against the page images.)

Equations

• RomoliEtAl2026.lists = 8

structure RomoliEtAl2026.Participants : Type

A row of §3.3.1, §3.4.1, §3.5.1: the native speakers of English recruited on Prolific for an experiment, those excluded for 75% or less accuracy on the control items or those retained, as the paper prints them, and the mean accuracy of the retained on the control items.

• recruited : ℕ

  The participants recruited.

• excluded : Option ℕ

  The participants excluded, where printed.

• retained : Option ℕ

  The participants retained, where printed.

• accuracy : Data.Statistics.Decimal

  The mean accuracy on the control items, in percent.

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqParticipants : DecidableEq Participants

Equations

• RomoliEtAl2026.instDecidableEqParticipants = RomoliEtAl2026.instDecidableEqParticipants.decEq

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

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprParticipants : Repr Participants

Equations

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

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

Equations

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

def RomoliEtAl2026.participants : Experiment → Participants

The cells of §3.3.1, §3.4.1, §3.5.1, by experiment; from an experiment; checked against the page images.

Equations

• RomoliEtAl2026.participants RomoliEtAl2026.Experiment.one = { recruited := 192, excluded := some 4, retained := none, accuracy := { mantissa := 981, exponent := 1 } }
• RomoliEtAl2026.participants RomoliEtAl2026.Experiment.two = { recruited := 192, excluded := some 6, retained := none, accuracy := { mantissa := 974, exponent := 1 } }
• RomoliEtAl2026.participants RomoliEtAl2026.Experiment.three = { recruited := 192, excluded := none, retained := some 180, accuracy := { mantissa := 983, exponent := 1 } }

structure RomoliEtAl2026.Sentence : Type

A row of (31), (32), (34): the quantifier of the sentence each level of POLARITY tests in an experiment.

• quantifier : Quantifier

  The quantifier of the sentence.

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqSentence : DecidableEq Sentence

Equations

• RomoliEtAl2026.instDecidableEqSentence = RomoliEtAl2026.instDecidableEqSentence.decEq

def RomoliEtAl2026.instDecidableEqSentence.decEq (x✝ x✝¹ : Sentence) : Decidable (x✝ = x✝¹)

Equations

• RomoliEtAl2026.instDecidableEqSentence.decEq { quantifier := a } { quantifier := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RomoliEtAl2026.instReprSentence : Repr Sentence

Equations

• RomoliEtAl2026.instReprSentence = { reprPrec := RomoliEtAl2026.instReprSentence.repr }

def RomoliEtAl2026.instReprSentence.repr : Sentence → ℕ → Std.Format

Equations

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

def RomoliEtAl2026.sentences : Experiment → Polarity → Sentence

The cells of (31), (32), (34), by experiment and polarity; from an experiment; checked against the PDF text layer only.

Equations

• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.one RomoliEtAl2026.Polarity.positive = { quantifier := RomoliEtAl2026.Quantifier.every }
• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.one RomoliEtAl2026.Polarity.negative = { quantifier := RomoliEtAl2026.Quantifier.no }
• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.two RomoliEtAl2026.Polarity.positive = { quantifier := RomoliEtAl2026.Quantifier.every }
• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.two RomoliEtAl2026.Polarity.negative = { quantifier := RomoliEtAl2026.Quantifier.notEvery }
• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.three RomoliEtAl2026.Polarity.positive = { quantifier := RomoliEtAl2026.Quantifier.exactlyTwo }
• RomoliEtAl2026.sentences RomoliEtAl2026.Experiment.three RomoliEtAl2026.Polarity.negative = { quantifier := RomoliEtAl2026.Quantifier.exactlyTwo }

structure RomoliEtAl2026.Item : Type

A row of Figures 3, 5 and 7: an example picture of an experiment: its level of PICTURE, the levels of POLARITY a target picture is for, and how many of his nine presents each child opened, in the figure's order of the children.

• experiment : Experiment

  The experiment.

• picture : Picture

  The level of PICTURE.

• targetFor : List Polarity

  The levels of POLARITY a target picture is for.

• opened : List ℕ

  The presents each child opened.

def RomoliEtAl2026.instDecidableEqItem.decEq (x✝ x✝¹ : Item) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqItem : DecidableEq Item

Equations

• RomoliEtAl2026.instDecidableEqItem = RomoliEtAl2026.instDecidableEqItem.decEq

def RomoliEtAl2026.instReprItem.repr : Item → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprItem : Repr Item

Equations

• RomoliEtAl2026.instReprItem = { reprPrec := RomoliEtAl2026.instReprItem.repr }

def RomoliEtAl2026.pictures : List Item

The 11 rows of Figures 3, 5 and 7, in the paper's order; from an experiment; checked against the page images.

Equations

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

structure RomoliEtAl2026.Mean : Type

A row of Figures 4 and 6: the mean rating of a picture for the sentence of a level of POLARITY in a recoded context.

• experiment : Experiment

  The experiment.

• polarity : Polarity

  The level of POLARITY.

• recoding : Recoding

  The recoded context.

• truth : Truth

  The picture.

• mean : Data.Statistics.Decimal

  The mean rating.

def RomoliEtAl2026.instDecidableEqMean.decEq (x✝ x✝¹ : Mean) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqMean : DecidableEq Mean

Equations

• RomoliEtAl2026.instDecidableEqMean = RomoliEtAl2026.instDecidableEqMean.decEq

def RomoliEtAl2026.instReprMean.repr : Mean → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprMean : Repr Mean

Equations

• RomoliEtAl2026.instReprMean = { reprPrec := RomoliEtAl2026.instReprMean.repr }

def RomoliEtAl2026.means : List Mean

The 24 rows of Figures 4 and 6, in the paper's order; from an experiment; checked against the page images.

Equations

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

structure RomoliEtAl2026.MeanExactlyTwo : Type

A row of Figure 8: the mean rating of a picture in Experiment 3 in a context, not recoded, a target picture with the level of POLARITY it is for.

• context : Context

  The context.

• truth : Truth

  The picture.

• polarity : Option Polarity

  The level of POLARITY of a target.

• mean : Data.Statistics.Decimal

  The mean rating.

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqMeanExactlyTwo : DecidableEq MeanExactlyTwo

Equations

• RomoliEtAl2026.instDecidableEqMeanExactlyTwo = RomoliEtAl2026.instDecidableEqMeanExactlyTwo.decEq

def RomoliEtAl2026.instDecidableEqMeanExactlyTwo.decEq (x✝ x✝¹ : MeanExactlyTwo) : Decidable (x✝ = x✝¹)

Equations

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

def RomoliEtAl2026.instReprMeanExactlyTwo.repr : MeanExactlyTwo → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprMeanExactlyTwo : Repr MeanExactlyTwo

Equations

• RomoliEtAl2026.instReprMeanExactlyTwo = { reprPrec := RomoliEtAl2026.instReprMeanExactlyTwo.repr }

def RomoliEtAl2026.meansExactlyTwo : List MeanExactlyTwo

The 8 rows of Figure 8, in the paper's order; from an experiment; checked against the page images.

Equations

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

structure RomoliEtAl2026.Test : Type

A row of §3.3.3, §3.4.3, §3.5.3: a likelihood-ratio χ² test of a term of the cumulative logit mixed-effects model fitted to an experiment's target conditions.

• df : ℕ

  The degrees of freedom of the chi-square statistic.

• chiSq : Data.Statistics.Decimal

  The chi-square statistic.

• p : Data.Statistics.PValue

  The p-value.

def RomoliEtAl2026.instDecidableEqTest.decEq (x✝ x✝¹ : Test) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqTest : DecidableEq Test

Equations

• RomoliEtAl2026.instDecidableEqTest = RomoliEtAl2026.instDecidableEqTest.decEq

@[instance_reducible]

instance RomoliEtAl2026.instReprTest : Repr Test

Equations

• RomoliEtAl2026.instReprTest = { reprPrec := RomoliEtAl2026.instReprTest.repr }

def RomoliEtAl2026.instReprTest.repr : Test → ℕ → Std.Format

Equations

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

def RomoliEtAl2026.tests : Experiment → Effect → Test

The cells of §3.3.3, §3.4.3, §3.5.3, by experiment and effect; from an experiment; checked against the page images.

Equations

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

structure RomoliEtAl2026.Estimate : Type

A row of Tables 5, 8 and 11: a fixed-effect estimate of the cumulative logit mixed-effects model fitted to an experiment's target conditions, with the p-value of its likelihood-ratio test where printed.

• beta : Data.Statistics.Decimal

  The estimate.

• se : Data.Statistics.Decimal

  Its standard error.

• p : Option Data.Statistics.PValue

  The p-value, where printed.

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqEstimate : DecidableEq Estimate

Equations

• RomoliEtAl2026.instDecidableEqEstimate = RomoliEtAl2026.instDecidableEqEstimate.decEq

def RomoliEtAl2026.instDecidableEqEstimate.decEq (x✝ x✝¹ : Estimate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instReprEstimate : Repr Estimate

Equations

• RomoliEtAl2026.instReprEstimate = { reprPrec := RomoliEtAl2026.instReprEstimate.repr }

def RomoliEtAl2026.instReprEstimate.repr : Estimate → ℕ → Std.Format

Equations

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

def RomoliEtAl2026.estimates : Experiment → Term → Estimate

The cells of Tables 5, 8 and 11, by experiment and term; from an experiment; checked against the page images.

Equations

• One or more equations did not get rendered due to their size.
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.one RomoliEtAl2026.Term.theta1 = { beta := { mantissa := -49, exponent := 2 }, se := { mantissa := 21, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.one RomoliEtAl2026.Term.theta2 = { beta := { mantissa := 134, exponent := 2 }, se := { mantissa := 23, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.one RomoliEtAl2026.Term.theta3 = { beta := { mantissa := 307, exponent := 2 }, se := { mantissa := 28, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.one RomoliEtAl2026.Term.theta4 = { beta := { mantissa := 723, exponent := 2 }, se := { mantissa := 51, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.two RomoliEtAl2026.Term.theta1 = { beta := { mantissa := -188, exponent := 2 }, se := { mantissa := 10, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.two RomoliEtAl2026.Term.theta2 = { beta := { mantissa := -60, exponent := 2 }, se := { mantissa := 9, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.two RomoliEtAl2026.Term.theta3 = { beta := { mantissa := 20, exponent := 2 }, se := { mantissa := 9, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.two RomoliEtAl2026.Term.theta4 = { beta := { mantissa := 215, exponent := 2 }, se := { mantissa := 10, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.three RomoliEtAl2026.Term.theta1 = { beta := { mantissa := -11, exponent := 2 }, se := { mantissa := 26, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.three RomoliEtAl2026.Term.theta2 = { beta := { mantissa := 73, exponent := 2 }, se := { mantissa := 26, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.three RomoliEtAl2026.Term.theta3 = { beta := { mantissa := 150, exponent := 2 }, se := { mantissa := 27, exponent := 2 }, p := none }
• RomoliEtAl2026.estimates RomoliEtAl2026.Experiment.three RomoliEtAl2026.Term.theta4 = { beta := { mantissa := 293, exponent := 2 }, se := { mantissa := 28, exponent := 2 }, p := none }

structure RomoliEtAl2026.EffectSize : Type

A row of Table 12: the effect size of the context manipulation on the target condition of a level of POLARITY in an experiment: the difference of the mean ratings in the lax and the strict context, and in log-odds from the model's fixed-effect estimates.

• likert : Data.Statistics.Decimal

  The difference of the mean ratings.

• logOdds : Data.Statistics.Decimal

  The effect in log-odds.

def RomoliEtAl2026.instDecidableEqEffectSize.decEq (x✝ x✝¹ : EffectSize) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance RomoliEtAl2026.instDecidableEqEffectSize : DecidableEq EffectSize

Equations

• RomoliEtAl2026.instDecidableEqEffectSize = RomoliEtAl2026.instDecidableEqEffectSize.decEq

@[instance_reducible]

instance RomoliEtAl2026.instReprEffectSize : Repr EffectSize

Equations

• RomoliEtAl2026.instReprEffectSize = { reprPrec := RomoliEtAl2026.instReprEffectSize.repr }

def RomoliEtAl2026.instReprEffectSize.repr : EffectSize → ℕ → Std.Format

Equations

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

def RomoliEtAl2026.effectSizes : Experiment → Polarity → EffectSize

The cells of Table 12, by experiment and polarity; from an experiment; checked against the page images.

Equations

• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.one RomoliEtAl2026.Polarity.positive = { likert := { mantissa := 113, exponent := 2 }, logOdds := { mantissa := 384, exponent := 2 } }
• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.two RomoliEtAl2026.Polarity.positive = { likert := { mantissa := 160, exponent := 2 }, logOdds := { mantissa := 309, exponent := 2 } }
• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.two RomoliEtAl2026.Polarity.negative = { likert := { mantissa := 191, exponent := 2 }, logOdds := { mantissa := 326, exponent := 2 } }
• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.one RomoliEtAl2026.Polarity.negative = { likert := { mantissa := 50, exponent := 2 }, logOdds := { mantissa := 141, exponent := 2 } }
• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.three RomoliEtAl2026.Polarity.positive = { likert := { mantissa := 26, exponent := 2 }, logOdds := { mantissa := 66, exponent := 2 } }
• RomoliEtAl2026.effectSizes RomoliEtAl2026.Experiment.three RomoliEtAl2026.Polarity.negative = { likert := { mantissa := 33, exponent := 2 }, logOdds := { mantissa := 61, exponent := 2 } }