SableMeyerMascarenhas2022: experimental results (generated)

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

A norming study and two inference-endorsement experiments on indirect illusory inferences from disjunction. The norming study rated the strength of the causal link in conditionals of three kinds: the crucial dependence from the hint d to the conjunct a, and the control dependences a-to-b and d-to-b; item 0 was removed after the control block showed an effect driven by it. Experiment 1 presented problems of the form (a and b) or c; d, therefore b; Experiment 2 moved the causal step to the conclusion: (b and d) or c; b, therefore a. Acceptance of the fallacy is regressed on the normed strength of the d-to-a link; coefficients, control rates and the binomial model are recorded as printed.

Raw data

• https://osf.io/tuc8s/: complete materials, collected data, and analysis code

References

• [SMM22]

inductive SableMeyerMascarenhas2022.Study : Type

The three studies.

• norming : Study

  Norming study: strength ratings of the causal conditionals

• experimentOne : Study

  Experiment 1: indirect illusory inferences, hint step

• experimentTwo : Study

  Experiment 2: indirect illusory inferences, conclusion step

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqStudy : DecidableEq Study

Equations

• SableMeyerMascarenhas2022.instDecidableEqStudy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprStudy : Repr Study

Equations

• SableMeyerMascarenhas2022.instReprStudy = { reprPrec := SableMeyerMascarenhas2022.instReprStudy.repr }

def SableMeyerMascarenhas2022.instReprStudy.repr : Study → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeStudy : Fintype Study

Equations

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

inductive SableMeyerMascarenhas2022.Dependence : Type

The three normed causal links of the norming study (8).

• hintToConjunct : Dependence

  d to a: the crucial link from the hint to the first conjunct

• conjunctToConjunct : Dependence

  a to b: control: from the first to the second conjunct

• hintToConclusion : Dependence

  d to b: control: from the hint to the concluded conjunct

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqDependence : DecidableEq Dependence

Equations

• SableMeyerMascarenhas2022.instDecidableEqDependence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SableMeyerMascarenhas2022.instReprDependence.repr : Dependence → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprDependence : Repr Dependence

Equations

• SableMeyerMascarenhas2022.instReprDependence = { reprPrec := SableMeyerMascarenhas2022.instReprDependence.repr }

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeDependence : Fintype Dependence

Equations

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

inductive SableMeyerMascarenhas2022.Bound : Type

How a p-value is printed.

• below : Bound

  <: an upper bound

• exact : Bound

  =: an exact value

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqBound : DecidableEq Bound

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprBound : Repr Bound

Equations

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

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

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeBound : Fintype Bound

Equations

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

inductive SableMeyerMascarenhas2022.Term : Type

The terms of the binomial model of Table 2.

• intercept : Term

  Intercept:

• normedStrength : Term

  Normed d to a: the centered normed strength of the crucial link

• errorOnControls : Term

  % Error on Controls: the centered error rate on controls

• interaction : Term

  Interaction: their interaction

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqTerm : DecidableEq Term

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprTerm : Repr Term

Equations

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

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

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeTerm : Fintype Term

Equations

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

inductive SableMeyerMascarenhas2022.Experiment : Type

The two inference tasks.

• experimentOne : Experiment

  Experiment 1: hint step

• experimentTwo : Experiment

  Experiment 2: conclusion step

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprExperiment : Repr Experiment

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeExperiment : Fintype Experiment

Equations

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

inductive SableMeyerMascarenhas2022.Item : Type

The eight d-to-a item sets of (9).

• item0 : Item

  0: fertilizer put on the plants, plants grew quickly

• item1 : Item

  1: brake depressed, car slowed down

• item2 : Item

  2: Mary jumped into the pool, Mary got wet

• item3 : Item

  3: trigger pulled, gun fired

• item4 : Item

  4: Larry grasped the glass, fingerprints on the glass

• item5 : Item

  5: gong struck, gong sounded

• item6 : Item

  6: John studied hard, did well on the test

• item7 : Item

  7: apples ripe, fell from the tree

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqItem : DecidableEq Item

Equations

• SableMeyerMascarenhas2022.instDecidableEqItem x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

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

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprItem : Repr Item

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeItem : Fintype Item

Equations

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

inductive SableMeyerMascarenhas2022.ItemStatus : Type

Whether an item set was kept for the inference tasks.

• kept : ItemStatus

  kept:

• removed : ItemStatus

  removed: removed after the norming analysis

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqItemStatus : DecidableEq ItemStatus

Equations

• SableMeyerMascarenhas2022.instDecidableEqItemStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SableMeyerMascarenhas2022.instReprItemStatus.repr : ItemStatus → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprItemStatus : Repr ItemStatus

Equations

• SableMeyerMascarenhas2022.instReprItemStatus = { reprPrec := SableMeyerMascarenhas2022.instReprItemStatus.repr }

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeItemStatus : Fintype ItemStatus

Equations

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

inductive SableMeyerMascarenhas2022.Comparison : Type

The comparisons the target acceptance was tested against.

• chance : Comparison

  chance:

• validControls : Comparison

  valid controls:

• invalidControls : Comparison

  invalid controls:

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqComparison : DecidableEq Comparison

Equations

• SableMeyerMascarenhas2022.instDecidableEqComparison x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SableMeyerMascarenhas2022.instReprComparison.repr : Comparison → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprComparison : Repr Comparison

Equations

• SableMeyerMascarenhas2022.instReprComparison = { reprPrec := SableMeyerMascarenhas2022.instReprComparison.repr }

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeComparison : Fintype Comparison

Equations

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

inductive SableMeyerMascarenhas2022.AnovaOutcome : Type

The outcome of the norming ANOVA for a block.

• noEffect : AnovaOutcome

  no effect: no significant effect of the materials at the .05 level

• effect : AnovaOutcome

  effect: a significant effect at the .05 level

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqAnovaOutcome : DecidableEq AnovaOutcome

Equations

• SableMeyerMascarenhas2022.instDecidableEqAnovaOutcome x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SableMeyerMascarenhas2022.instReprAnovaOutcome.repr : AnovaOutcome → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprAnovaOutcome : Repr AnovaOutcome

Equations

• SableMeyerMascarenhas2022.instReprAnovaOutcome = { reprPrec := SableMeyerMascarenhas2022.instReprAnovaOutcome.repr }

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeAnovaOutcome : Fintype AnovaOutcome

Equations

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

inductive SableMeyerMascarenhas2022.Significance : Type

Whether a model term is reported significant.

• significant : Significance

  significant:

• notSignificant : Significance

  not significant:

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqSignificance : DecidableEq Significance

Equations

• SableMeyerMascarenhas2022.instDecidableEqSignificance x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SableMeyerMascarenhas2022.instReprSignificance.repr : Significance → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprSignificance : Repr Significance

Equations

• SableMeyerMascarenhas2022.instReprSignificance = { reprPrec := SableMeyerMascarenhas2022.instReprSignificance.repr }

@[instance_reducible]

instance SableMeyerMascarenhas2022.instFintypeSignificance : Fintype Significance

Equations

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

def SableMeyerMascarenhas2022.classicalAcceptancePct : ℕ

Acceptance of the classical illusory inference from disjunction, about 85% across studies. (§1, p. 568; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.classicalAcceptancePct = 85

def SableMeyerMascarenhas2022.normingItems : ℕ

Conditional sentences rated in the norming study, three blocks of eight. (§3.1.2, p. 573; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.normingItems = 24

def SableMeyerMascarenhas2022.itemSetsKept : ℕ

Item sets kept for the inference tasks after item 0 was removed. (§3.2.1, p. 576; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.itemSetsKept = 7

def SableMeyerMascarenhas2022.targetsPerParticipant : ℕ

Indirect illusory inference trials, interleaved with three valid and three invalid controls. (§3.1.2, p. 575; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.targetsPerParticipant = 7

def SableMeyerMascarenhas2022.validControls : ℕ

Valid modus ponens controls. (§3.1.2, p. 575; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.validControls = 3

def SableMeyerMascarenhas2022.invalidControls : ℕ

Invalid controls denying the antecedent. (§3.1.2, p. 575; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.invalidControls = 3

def SableMeyerMascarenhas2022.recruitedTotal : ℕ

Individuals recruited across the three studies. (§3.1.1, p. 573; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.recruitedTotal = 322

def SableMeyerMascarenhas2022.normingBatchOne : ℕ

Norming participants in the first batch, halted over a reward-wording error. (§3.1.1, p. 574; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.normingBatchOne = 82

def SableMeyerMascarenhas2022.normingBatchTwoReported : ℕ

Norming participants reporting back in the second batch of 160. (§3.1.1, p. 574; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.normingBatchTwoReported = 156

def SableMeyerMascarenhas2022.expOneExcludedNormed : ℕ

Experiment 1 participants excluded for having taken the norming study. (§3.1.1, p. 574; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.expOneExcludedNormed = 14

def SableMeyerMascarenhas2022.expTwoExcludedPrior : ℕ

Experiment 2 participants excluded for an earlier related experiment. (§4.1, p. 579; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.expTwoExcludedPrior = 10

def SableMeyerMascarenhas2022.likertPoints : ℕ

Points of the causal-strength rating scale. (§3.1.2, p. 574; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.likertPoints = 7

def SableMeyerMascarenhas2022.itemSets : ℕ

Item sets normed, of which seven were kept. (§3.2.1, p. 576; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.itemSets = 8

def SableMeyerMascarenhas2022.matchingLimitAcceptance : Data.Experiments.Decimal

The acceptance the Experiment 1 model predicts in the matching limit P(a given d) = 1: intercept plus slope. (§5, p. 581; checked against the PDF text layer only.)

Equations

• SableMeyerMascarenhas2022.matchingLimitAcceptance = { mantissa := 92, exponent := 2 }

structure SableMeyerMascarenhas2022.Participants : Type

A row of Table 1, p. 574: the participant breakdown of Table 1.

• recruited : ℕ

  Participants recruited.

• analysed : ℕ

  Participants analysed.

• femalePct : Data.Experiments.Decimal

  Percent female.

• ageMean : ℕ

  Mean age.

• ageSD : Data.Experiments.Decimal

  Standard deviation of age.

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqParticipants : DecidableEq Participants

Equations

• SableMeyerMascarenhas2022.instDecidableEqParticipants = SableMeyerMascarenhas2022.instDecidableEqParticipants.decEq

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

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprParticipants : Repr Participants

Equations

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

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

Equations

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

def SableMeyerMascarenhas2022.participants : Study → Participants

The cells of Table 1, p. 574, by study; checked against the PDF text layer only.

Equations

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

structure SableMeyerMascarenhas2022.ControlRate : Type

A row of §3.2.2, p. 576; §4.2, p. 579: mean acceptance of the valid and invalid controls, with standard errors.

• validPct : Data.Experiments.Decimal

  Acceptance of valid controls, percent.

• validSE : Data.Experiments.Decimal

  Its standard error.

• invalidPct : Data.Experiments.Decimal

  Acceptance of invalid controls, percent.

• invalidSE : Data.Experiments.Decimal

  Its standard error.

def SableMeyerMascarenhas2022.instDecidableEqControlRate.decEq (x✝ x✝¹ : ControlRate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqControlRate : DecidableEq ControlRate

Equations

• SableMeyerMascarenhas2022.instDecidableEqControlRate = SableMeyerMascarenhas2022.instDecidableEqControlRate.decEq

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprControlRate : Repr ControlRate

Equations

• SableMeyerMascarenhas2022.instReprControlRate = { reprPrec := SableMeyerMascarenhas2022.instReprControlRate.repr }

def SableMeyerMascarenhas2022.instReprControlRate.repr : ControlRate → ℕ → Std.Format

Equations

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

def SableMeyerMascarenhas2022.controlRates : Experiment → ControlRate

The cells of §3.2.2, p. 576; §4.2, p. 579, by experiment; checked against the PDF text layer only.

Equations

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

structure SableMeyerMascarenhas2022.Regression : Type

A row of §3.2.2, p. 577; §4.2, p. 580: the per-item regression of fallacy acceptance on the normed strength of the d-to-a link.

• slope : Data.Experiments.Decimal

  The slope.

• intercept : Option Data.Experiments.Decimal

  The intercept, when reported.

• interceptSE : Option Data.Experiments.Decimal

  Its standard error.

• slopeSE : Data.Experiments.Decimal

  Its standard error.

• rSquared : Data.Experiments.Decimal

  The coefficient of determination.

• fStat : Data.Experiments.Decimal

  The F statistic on 1 and 5 degrees of freedom.

• pBound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqRegression : DecidableEq Regression

Equations

• SableMeyerMascarenhas2022.instDecidableEqRegression = SableMeyerMascarenhas2022.instDecidableEqRegression.decEq

def SableMeyerMascarenhas2022.instDecidableEqRegression.decEq (x✝ x✝¹ : Regression) : Decidable (x✝ = x✝¹)

Equations

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

def SableMeyerMascarenhas2022.instReprRegression.repr : Regression → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprRegression : Repr Regression

Equations

• SableMeyerMascarenhas2022.instReprRegression = { reprPrec := SableMeyerMascarenhas2022.instReprRegression.repr }

def SableMeyerMascarenhas2022.regressions : Experiment → Regression

The cells of §3.2.2, p. 577; §4.2, p. 580, by experiment; checked against the PDF text layer only.

Equations

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

structure SableMeyerMascarenhas2022.BinomialTerm : Type

A row of Table 2, p. 578: the binomial model of Table 2: acceptance as a function of the normed d-to-a strength, the error rate on controls, and their interaction (centered predictors).

• beta : Data.Experiments.Decimal

  The coefficient.

• se : Data.Experiments.Decimal

  Its standard error.

• z : Data.Experiments.Decimal

  The z-value.

• pBound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqBinomialTerm : DecidableEq BinomialTerm

Equations

• SableMeyerMascarenhas2022.instDecidableEqBinomialTerm = SableMeyerMascarenhas2022.instDecidableEqBinomialTerm.decEq

def SableMeyerMascarenhas2022.instDecidableEqBinomialTerm.decEq (x✝ x✝¹ : BinomialTerm) : Decidable (x✝ = x✝¹)

Equations

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

def SableMeyerMascarenhas2022.instReprBinomialTerm.repr : BinomialTerm → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprBinomialTerm : Repr BinomialTerm

Equations

• SableMeyerMascarenhas2022.instReprBinomialTerm = { reprPrec := SableMeyerMascarenhas2022.instReprBinomialTerm.repr }

def SableMeyerMascarenhas2022.binomialModel : Term → BinomialTerm

The cells of Table 2, p. 578, by term; checked against the PDF text layer only.

Equations

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

structure SableMeyerMascarenhas2022.ItemRow : Type

A row of (9) and §3.2.1, pp. 575-576: the eight item sets and whether they survived the norming analysis.

• status : ItemStatus

  Kept or removed.

def SableMeyerMascarenhas2022.instDecidableEqItemRow.decEq (x✝ x✝¹ : ItemRow) : Decidable (x✝ = x✝¹)

Equations

• SableMeyerMascarenhas2022.instDecidableEqItemRow.decEq { status := a } { status := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqItemRow : DecidableEq ItemRow

Equations

• SableMeyerMascarenhas2022.instDecidableEqItemRow = SableMeyerMascarenhas2022.instDecidableEqItemRow.decEq

def SableMeyerMascarenhas2022.instReprItemRow.repr : ItemRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprItemRow : Repr ItemRow

Equations

• SableMeyerMascarenhas2022.instReprItemRow = { reprPrec := SableMeyerMascarenhas2022.instReprItemRow.repr }

def SableMeyerMascarenhas2022.items : Item → ItemRow

The cells of (9) and §3.2.1, pp. 575-576, by item; checked against the page images.

Equations

• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item0 = { status := SableMeyerMascarenhas2022.ItemStatus.removed }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item1 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item2 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item3 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item4 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item5 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item6 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }
• SableMeyerMascarenhas2022.items SableMeyerMascarenhas2022.Item.item7 = { status := SableMeyerMascarenhas2022.ItemStatus.kept }

structure SableMeyerMascarenhas2022.NormingBlock : Type

A row of §3.2.1, p. 576: the norming ANOVA outcome per control block; the crucial block was not tested.

• anova : Option AnovaOutcome

  The ANOVA outcome, when one was run.

def SableMeyerMascarenhas2022.instDecidableEqNormingBlock.decEq (x✝ x✝¹ : NormingBlock) : Decidable (x✝ = x✝¹)

Equations

• SableMeyerMascarenhas2022.instDecidableEqNormingBlock.decEq { anova := a } { anova := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqNormingBlock : DecidableEq NormingBlock

Equations

• SableMeyerMascarenhas2022.instDecidableEqNormingBlock = SableMeyerMascarenhas2022.instDecidableEqNormingBlock.decEq

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprNormingBlock : Repr NormingBlock

Equations

• SableMeyerMascarenhas2022.instReprNormingBlock = { reprPrec := SableMeyerMascarenhas2022.instReprNormingBlock.repr }

def SableMeyerMascarenhas2022.instReprNormingBlock.repr : NormingBlock → ℕ → Std.Format

Equations

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

def SableMeyerMascarenhas2022.normingBlocks : Dependence → NormingBlock

The cells of §3.2.1, p. 576, by block; checked against the PDF text layer only.

Equations

• SableMeyerMascarenhas2022.normingBlocks SableMeyerMascarenhas2022.Dependence.hintToConjunct = { anova := none }
• SableMeyerMascarenhas2022.normingBlocks SableMeyerMascarenhas2022.Dependence.conjunctToConjunct = { anova := some SableMeyerMascarenhas2022.AnovaOutcome.noEffect }
• SableMeyerMascarenhas2022.normingBlocks SableMeyerMascarenhas2022.Dependence.hintToConclusion = { anova := some SableMeyerMascarenhas2022.AnovaOutcome.effect }

structure SableMeyerMascarenhas2022.TargetContrast : Type

A row of §3.2.2, p. 577; §4.2, p. 580: the t-tests of target acceptance against chance and the controls.

• pBound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqTargetContrast : DecidableEq TargetContrast

Equations

• SableMeyerMascarenhas2022.instDecidableEqTargetContrast = SableMeyerMascarenhas2022.instDecidableEqTargetContrast.decEq

def SableMeyerMascarenhas2022.instDecidableEqTargetContrast.decEq (x✝ x✝¹ : TargetContrast) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprTargetContrast : Repr TargetContrast

Equations

• SableMeyerMascarenhas2022.instReprTargetContrast = { reprPrec := SableMeyerMascarenhas2022.instReprTargetContrast.repr }

def SableMeyerMascarenhas2022.instReprTargetContrast.repr : TargetContrast → ℕ → Std.Format

Equations

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

def SableMeyerMascarenhas2022.targetContrasts : Experiment → Comparison → TargetContrast

The cells of §3.2.2, p. 577; §4.2, p. 580, by experiment and comparison; checked against the PDF text layer only.

Equations

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

structure SableMeyerMascarenhas2022.BinomialTermTwo : Type

A row of §4.2, p. 580: the Experiment 2 binomial model, reported qualitatively: only the crucial rating is significant.

• significance : Option Significance

  As reported; the intercept is not discussed.

def SableMeyerMascarenhas2022.instDecidableEqBinomialTermTwo.decEq (x✝ x✝¹ : BinomialTermTwo) : Decidable (x✝ = x✝¹)

Equations

• SableMeyerMascarenhas2022.instDecidableEqBinomialTermTwo.decEq { significance := a } { significance := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SableMeyerMascarenhas2022.instDecidableEqBinomialTermTwo : DecidableEq BinomialTermTwo

Equations

• SableMeyerMascarenhas2022.instDecidableEqBinomialTermTwo = SableMeyerMascarenhas2022.instDecidableEqBinomialTermTwo.decEq

def SableMeyerMascarenhas2022.instReprBinomialTermTwo.repr : BinomialTermTwo → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SableMeyerMascarenhas2022.instReprBinomialTermTwo : Repr BinomialTermTwo

Equations

• SableMeyerMascarenhas2022.instReprBinomialTermTwo = { reprPrec := SableMeyerMascarenhas2022.instReprBinomialTermTwo.repr }

def SableMeyerMascarenhas2022.binomialModelExpTwo : Term → BinomialTermTwo

The cells of §4.2, p. 580, by term; checked against the PDF text layer only.

Equations

• SableMeyerMascarenhas2022.binomialModelExpTwo SableMeyerMascarenhas2022.Term.intercept = { significance := none }
• SableMeyerMascarenhas2022.binomialModelExpTwo SableMeyerMascarenhas2022.Term.normedStrength = { significance := some SableMeyerMascarenhas2022.Significance.significant }
• SableMeyerMascarenhas2022.binomialModelExpTwo SableMeyerMascarenhas2022.Term.errorOnControls = { significance := some SableMeyerMascarenhas2022.Significance.notSignificant }
• SableMeyerMascarenhas2022.binomialModelExpTwo SableMeyerMascarenhas2022.Term.interaction = { significance := some SableMeyerMascarenhas2022.Significance.notSignificant }