Documentation

Linglib.Data.Experiments.BeltramaSoltBurnett2023

BeltramaSoltBurnett2023: experimental results (generated) #

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

Two social perception experiments on American English numerals. Precision (approximate about fifty minutes, underspecified fifty minutes, precise forty-nine minutes) was crossed with Scenario (For-the-record, Persuasive, Stranger, Bonding). Participants rated the speaker on ten seven-point scales, which a principal component analysis reduced to Status, Solidarity and anti-Solidarity composite scores. Experiment 1 recruited on Amazon Mechanical Turk with six written items per participant; Experiment 2 showed one illustrated item per participant.

References #

[BSB23]

inductive BeltramaSoltBurnett2023.Experiment :

The two experiments.

exp1 : Experiment
Experiment 1: six items per participant in a partial Latin square, written scenarios
exp2 : Experiment
Experiment 2: one illustrated item per participant, fully between subjects

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqExperiment :

DecidableEq Experiment

Equations

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

def BeltramaSoltBurnett2023.instReprExperiment.repr :

Experiment → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprExperiment :

Repr Experiment

Equations

BeltramaSoltBurnett2023.instReprExperiment = { reprPrec := BeltramaSoltBurnett2023.instReprExperiment.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeExperiment :

Fintype Experiment

Equations

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

inductive BeltramaSoltBurnett2023.Variant :

A level of the Precision manipulation.

approximate : Variant
Approximate: a round number under an approximator, about fifty minutes
underspecified : Variant
Underspecified: a bare round number, fifty minutes
precise : Variant
Precise: a bare sharp number, forty-nine minutes

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqVariant :

DecidableEq Variant

Equations

BeltramaSoltBurnett2023.instDecidableEqVariant x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSoltBurnett2023.instReprVariant.repr :

Variant → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprVariant :

Equations

BeltramaSoltBurnett2023.instReprVariant = { reprPrec := BeltramaSoltBurnett2023.instReprVariant.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeVariant :

Fintype Variant

Equations

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

inductive BeltramaSoltBurnett2023.Scenario :

A level of the Scenario manipulation.

forTheRecord : Scenario
For-the-record: testifying for the official record
persuasive : Scenario
Persuasive: persuading an interlocutor to act
stranger : Scenario
Stranger: small talk with a stranger
bonding : Scenario
Bonding: getting to know new colleagues

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqScenario :

DecidableEq Scenario

Equations

BeltramaSoltBurnett2023.instDecidableEqScenario x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSoltBurnett2023.instReprScenario.repr :

Scenario → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprScenario :

Equations

BeltramaSoltBurnett2023.instReprScenario = { reprPrec := BeltramaSoltBurnett2023.instReprScenario.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeScenario :

Fintype Scenario

Equations

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

inductive BeltramaSoltBurnett2023.Factor :

A principal component of the ten scales, named for the dimension of social evaluation the paper takes it to be.

status : Factor
Status: factor 1
solidarity : Factor
Solidarity: factor 2
antiSolidarity : Factor
anti-Solidarity: factor 3

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqFactor :

DecidableEq Factor

Equations

BeltramaSoltBurnett2023.instDecidableEqFactor x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprFactor :

Equations

BeltramaSoltBurnett2023.instReprFactor = { reprPrec := BeltramaSoltBurnett2023.instReprFactor.repr }

def BeltramaSoltBurnett2023.instReprFactor.repr :

Factor → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeFactor :

Fintype Factor

Equations

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

inductive BeltramaSoltBurnett2023.Scale :

A seven-point evaluation scale.

articulate : Scale
Articulate: the speaker rated articulate
intelligent : Scale
Intelligent: the speaker rated intelligent
confident : Scale
Confident: the speaker rated confident
trustworthy : Scale
Trustworthy: the speaker rated trustworthy
likable : Scale
Likable: the speaker rated likable
friendly : Scale
Friendly: the speaker rated friendly
cool : Scale
Cool: the speaker rated cool
laidBack : Scale
Laid-back: the speaker rated laid-back
pedantic : Scale
Pedantic: the speaker rated pedantic
uptight : Scale
Uptight: the speaker rated uptight

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqScale :

DecidableEq Scale

Equations

BeltramaSoltBurnett2023.instDecidableEqScale x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BeltramaSoltBurnett2023.instReprScale.repr :

Scale → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprScale :

Repr Scale

Equations

BeltramaSoltBurnett2023.instReprScale = { reprPrec := BeltramaSoltBurnett2023.instReprScale.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeScale :

Fintype Scale

Equations

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

inductive BeltramaSoltBurnett2023.Approximator :

The approximator of an approximate numeral.

about : Approximator
about: about
around : Approximator
around: around

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqApproximator :

DecidableEq Approximator

Equations

BeltramaSoltBurnett2023.instDecidableEqApproximator x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprApproximator :

Repr Approximator

Equations

BeltramaSoltBurnett2023.instReprApproximator = { reprPrec := BeltramaSoltBurnett2023.instReprApproximator.repr }

def BeltramaSoltBurnett2023.instReprApproximator.repr :

Approximator → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeApproximator :

Fintype Approximator

Equations

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

inductive BeltramaSoltBurnett2023.Comparison :

A pair of Precision conditions the paper compares.

preciseApproximate : Comparison
Precise vs. Approximate: the precise condition against the approximate one (model row 3)
underspecifiedApproximate : Comparison
Underspecified vs. Approximate: the underspecified condition against the approximate one (model row 2)
preciseUnderspecified : Comparison
Precise vs. Underspecified: the precise condition against the underspecified one (post-hoc)

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqComparison :

DecidableEq Comparison

Equations

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

def BeltramaSoltBurnett2023.instReprComparison.repr :

Comparison → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprComparison :

Repr Comparison

Equations

BeltramaSoltBurnett2023.instReprComparison = { reprPrec := BeltramaSoltBurnett2023.instReprComparison.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeComparison :

Fintype Comparison

Equations

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

inductive BeltramaSoltBurnett2023.Verdict :

The paper's reading of a comparison of the first condition with the second.

higher : Verdict
rated higher: rated higher
lower : Verdict
rated lower: rated lower
trendHigher : Verdict
trended higher: trended towards being rated higher
noDifference : Verdict
did not differ: did not differ

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqVerdict :

DecidableEq Verdict

Equations

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

def BeltramaSoltBurnett2023.instReprVerdict.repr :

Verdict → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprVerdict :

Equations

BeltramaSoltBurnett2023.instReprVerdict = { reprPrec := BeltramaSoltBurnett2023.instReprVerdict.repr }

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeVerdict :

Fintype Verdict

Equations

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

inductive BeltramaSoltBurnett2023.Bound :

How a p-value is printed.

below : Bound
<: as an upper bound
exact : Bound
=: as a value

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqBound :

DecidableEq Bound

Equations

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

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprBound :

Repr Bound

Equations

BeltramaSoltBurnett2023.instReprBound = { reprPrec := BeltramaSoltBurnett2023.instReprBound.repr }

def BeltramaSoltBurnett2023.instReprBound.repr :

Bound → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instFintypeBound :

Fintype Bound

Equations

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

def BeltramaSoltBurnett2023.exp1Recruited :

ℕ

Participants recruited for Experiment 1, eighteen per list. (p. 812; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp1Recruited = 216

Instances For

def BeltramaSoltBurnett2023.exp1Excluded :

ℕ

Experiment 1 participants excluded for failing a comprehension check. (pp. 812–813; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp1Excluded = 61

Instances For

def BeltramaSoltBurnett2023.exp1Items :

ℕ

Experimental items of Experiment 1, each in twelve versions. (p. 812; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp1Items = 6

Instances For

def BeltramaSoltBurnett2023.exp1Fillers :

ℕ

Fillers per list in Experiment 1. (p. 812; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp1Fillers = 6

Instances For

def BeltramaSoltBurnett2023.exp2Recruited :

ℕ

Participants recruited for Experiment 2, eighty per condition. (p. 821; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp2Recruited = 960

Instances For

def BeltramaSoltBurnett2023.exp2Excluded :

ℕ

Experiment 2 participants excluded for failing the comprehension check. (p. 821; checked against the page images.)

Equations

BeltramaSoltBurnett2023.exp2Excluded = 150

Instances For

def BeltramaSoltBurnett2023.scalePoints :

ℕ

Points on each evaluation scale. (p. 812; checked against the page images.)

Equations

BeltramaSoltBurnett2023.scalePoints = 7

Instances For

structure BeltramaSoltBurnett2023.Stimulus :

A row of p. 812, (2) (Experiment 1); p. 820, (3) (Experiment 2): the two durations of the target utterance in each Precision condition, the usual one and the one since the storm.

before : ℕ
The usual duration, in minutes.
beforeApproximator : Option Approximator
Its approximator, if any.
after : ℕ
The duration since the storm, in minutes.
afterApproximator : Option Approximator
Its approximator, if any.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqStimulus :

DecidableEq Stimulus

Equations

BeltramaSoltBurnett2023.instDecidableEqStimulus = BeltramaSoltBurnett2023.instDecidableEqStimulus.decEq

def BeltramaSoltBurnett2023.instDecidableEqStimulus.decEq (x✝ x✝¹ : Stimulus) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprStimulus :

Equations

BeltramaSoltBurnett2023.instReprStimulus = { reprPrec := BeltramaSoltBurnett2023.instReprStimulus.repr }

def BeltramaSoltBurnett2023.instReprStimulus.repr :

Stimulus → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.stimuli :

Experiment → Variant → Stimulus

The cells of p. 812, (2) (Experiment 1); p. 820, (3) (Experiment 2), by experiment and variant; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.ScaleGroup :

A row of p. 812: the dimension each evaluation scale was included to measure, before the PCA.

dimension : Factor
The dimension it was included to measure.

Instances For

def BeltramaSoltBurnett2023.instDecidableEqScaleGroup.decEq (x✝ x✝¹ : ScaleGroup) :

Decidable (x✝ = x✝¹)

Equations

BeltramaSoltBurnett2023.instDecidableEqScaleGroup.decEq { dimension := a } { dimension := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqScaleGroup :

DecidableEq ScaleGroup

Equations

BeltramaSoltBurnett2023.instDecidableEqScaleGroup = BeltramaSoltBurnett2023.instDecidableEqScaleGroup.decEq

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprScaleGroup :

Repr ScaleGroup

Equations

BeltramaSoltBurnett2023.instReprScaleGroup = { reprPrec := BeltramaSoltBurnett2023.instReprScaleGroup.repr }

def BeltramaSoltBurnett2023.instReprScaleGroup.repr :

ScaleGroup → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.scales :

Scale → ScaleGroup

The cells of p. 812, by scale; checked against the page images.

Equations

BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.articulate = { dimension := BeltramaSoltBurnett2023.Factor.status }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.intelligent = { dimension := BeltramaSoltBurnett2023.Factor.status }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.confident = { dimension := BeltramaSoltBurnett2023.Factor.status }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.trustworthy = { dimension := BeltramaSoltBurnett2023.Factor.status }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.likable = { dimension := BeltramaSoltBurnett2023.Factor.solidarity }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.friendly = { dimension := BeltramaSoltBurnett2023.Factor.solidarity }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.cool = { dimension := BeltramaSoltBurnett2023.Factor.solidarity }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.laidBack = { dimension := BeltramaSoltBurnett2023.Factor.solidarity }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.pedantic = { dimension := BeltramaSoltBurnett2023.Factor.antiSolidarity }
BeltramaSoltBurnett2023.scales BeltramaSoltBurnett2023.Scale.uptight = { dimension := BeltramaSoltBurnett2023.Factor.antiSolidarity }

Instances For

structure BeltramaSoltBurnett2023.Loading :

A row of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2): the varimax-rotated loading of a scale on a principal component, the paper taking factors 1, 2 and 3 to be Status, Solidarity and anti-Solidarity.

loading : Data.Experiments.Decimal
The loading.

Instances For

def BeltramaSoltBurnett2023.instDecidableEqLoading.decEq (x✝ x✝¹ : Loading) :

Decidable (x✝ = x✝¹)

Equations

BeltramaSoltBurnett2023.instDecidableEqLoading.decEq { loading := a } { loading := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqLoading :

DecidableEq Loading

Equations

BeltramaSoltBurnett2023.instDecidableEqLoading = BeltramaSoltBurnett2023.instDecidableEqLoading.decEq

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprLoading :

Equations

BeltramaSoltBurnett2023.instReprLoading = { reprPrec := BeltramaSoltBurnett2023.instReprLoading.repr }

def BeltramaSoltBurnett2023.instReprLoading.repr :

Loading → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.loadings :

Experiment → Scale → Factor → Loading

The cells of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2), by experiment and scale and factor; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.Commonality :

A row of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2): the last column of the PCA tables, headed Commonalities.

commonality : Data.Experiments.Decimal
The printed value.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqCommonality :

DecidableEq Commonality

Equations

BeltramaSoltBurnett2023.instDecidableEqCommonality = BeltramaSoltBurnett2023.instDecidableEqCommonality.decEq

def BeltramaSoltBurnett2023.instDecidableEqCommonality.decEq (x✝ x✝¹ : Commonality) :

Decidable (x✝ = x✝¹)

Equations

BeltramaSoltBurnett2023.instDecidableEqCommonality.decEq { commonality := a } { commonality := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

Instances For

def BeltramaSoltBurnett2023.instReprCommonality.repr :

Commonality → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprCommonality :

Repr Commonality

Equations

BeltramaSoltBurnett2023.instReprCommonality = { reprPrec := BeltramaSoltBurnett2023.instReprCommonality.repr }

def BeltramaSoltBurnett2023.commonalities :

Experiment → Scale → Commonality

The cells of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2), by experiment and scale; checked against the page images.

Equations

BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.articulate = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.intelligent = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.confident = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.trustworthy = { commonality := { mantissa := 14, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.likable = { commonality := { mantissa := 16, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.friendly = { commonality := { mantissa := 16, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.cool = { commonality := { mantissa := 12, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.laidBack = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.pedantic = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp1 BeltramaSoltBurnett2023.Scale.uptight = { commonality := { mantissa := 10, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.articulate = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.intelligent = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.confident = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.trustworthy = { commonality := { mantissa := 14, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.likable = { commonality := { mantissa := 16, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.friendly = { commonality := { mantissa := 16, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.cool = { commonality := { mantissa := 12, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.laidBack = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.pedantic = { commonality := { mantissa := 11, exponent := 1 } }
BeltramaSoltBurnett2023.commonalities BeltramaSoltBurnett2023.Experiment.exp2 BeltramaSoltBurnett2023.Scale.uptight = { commonality := { mantissa := 10, exponent := 1 } }

Instances For

structure BeltramaSoltBurnett2023.Variance :

A row of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2): the variance a principal component accounts for.

ssLoadings : Data.Experiments.Decimal
The sum of squared loadings.
proportion : Data.Experiments.Decimal
The proportion of variance.
cumulative : Data.Experiments.Decimal
The cumulative proportion of variance.

Instances For

def BeltramaSoltBurnett2023.instDecidableEqVariance.decEq (x✝ x✝¹ : Variance) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqVariance :

DecidableEq Variance

Equations

BeltramaSoltBurnett2023.instDecidableEqVariance = BeltramaSoltBurnett2023.instDecidableEqVariance.decEq

def BeltramaSoltBurnett2023.instReprVariance.repr :

Variance → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprVariance :

Equations

BeltramaSoltBurnett2023.instReprVariance = { reprPrec := BeltramaSoltBurnett2023.instReprVariance.repr }

def BeltramaSoltBurnett2023.variance :

Experiment → Factor → Variance

The cells of Table 1, p. 814 (Experiment 1); Table 3, p. 822 (Experiment 2), by experiment and factor; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.Rating :

A row of pp. 816–817 (Experiment 1); p. 823 (Experiment 2): the mean and standard deviation of a composite score by Precision condition, across scenarios.

mean : Data.Experiments.Decimal
The mean.
sd : Data.Experiments.Decimal
The standard deviation.

Instances For

def BeltramaSoltBurnett2023.instDecidableEqRating.decEq (x✝ x✝¹ : Rating) :

Decidable (x✝ = x✝¹)

Equations

BeltramaSoltBurnett2023.instDecidableEqRating.decEq { mean := a, sd := a_1 } { mean := b, sd := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqRating :

DecidableEq Rating

Equations

BeltramaSoltBurnett2023.instDecidableEqRating = BeltramaSoltBurnett2023.instDecidableEqRating.decEq

def BeltramaSoltBurnett2023.instReprRating.repr :

Rating → ℕ → Std.Format

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprRating :

Equations

BeltramaSoltBurnett2023.instReprRating = { reprPrec := BeltramaSoltBurnett2023.instReprRating.repr }

def BeltramaSoltBurnett2023.ratings :

Experiment → Variant → Factor → Rating

The cells of pp. 816–817 (Experiment 1); p. 823 (Experiment 2), by experiment and variant and factor; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.ScenarioRating :

A row of pp. 816–817 (Experiment 1); p. 823 (Experiment 2): the mean and standard deviation of a composite score in a Precision × Scenario cell, for the cells the text reports with an interaction.

experiment : Experiment
The experiment.
factor : Factor
The composite score.
scenario : Scenario
The scenario.
variant : Variant
The Precision condition.
mean : Data.Experiments.Decimal
The mean.
sd : Data.Experiments.Decimal
The standard deviation.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqScenarioRating :

DecidableEq ScenarioRating

Equations

BeltramaSoltBurnett2023.instDecidableEqScenarioRating = BeltramaSoltBurnett2023.instDecidableEqScenarioRating.decEq

def BeltramaSoltBurnett2023.instDecidableEqScenarioRating.decEq (x✝ x✝¹ : ScenarioRating) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprScenarioRating :

Repr ScenarioRating

Equations

BeltramaSoltBurnett2023.instReprScenarioRating = { reprPrec := BeltramaSoltBurnett2023.instReprScenarioRating.repr }

def BeltramaSoltBurnett2023.instReprScenarioRating.repr :

ScenarioRating → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.scenarioRatings :

List ScenarioRating

The 16 rows of pp. 816–817 (Experiment 1); p. 823 (Experiment 2), in the paper's order; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.Coefficient :

A row of Table 2, p. 815 (Experiment 1, mixed effects); Table 4, p. 824 (Experiment 2, linear): a coefficient of the model of a composite score, simple coded with Approximate and For-the-record as reference levels and the grand mean as intercept; a row with neither level is the intercept, with both an interaction.

experiment : Experiment
The experiment.
factor : Factor
The composite score.
variant : Option Variant
The Precision level compared with Approximate, if any.
scenario : Option Scenario
The Scenario level compared with For-the-record, if any.
beta : Data.Experiments.Decimal
The coefficient.
se : Data.Experiments.Decimal
Its standard error.
bound : Bound
How the p-value is printed.
p : Data.Experiments.Decimal
The p-value.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqCoefficient :

DecidableEq Coefficient

Equations

BeltramaSoltBurnett2023.instDecidableEqCoefficient = BeltramaSoltBurnett2023.instDecidableEqCoefficient.decEq

def BeltramaSoltBurnett2023.instDecidableEqCoefficient.decEq (x✝ x✝¹ : Coefficient) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprCoefficient :

Repr Coefficient

Equations

BeltramaSoltBurnett2023.instReprCoefficient = { reprPrec := BeltramaSoltBurnett2023.instReprCoefficient.repr }

def BeltramaSoltBurnett2023.instReprCoefficient.repr :

Coefficient → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.coefficients :

List Coefficient

The 72 rows of Table 2, p. 815 (Experiment 1, mixed effects); Table 4, p. 824 (Experiment 2, linear), in the paper's order; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.VerdictRow :

A row of pp. 816–817 (Experiment 1); p. 823 (Experiment 2): the paper's reading of a comparison of two Precision conditions on a composite score, across scenarios.

verdict : Verdict
The paper's reading of it.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqVerdictRow :

DecidableEq VerdictRow

Equations

BeltramaSoltBurnett2023.instDecidableEqVerdictRow = BeltramaSoltBurnett2023.instDecidableEqVerdictRow.decEq

def BeltramaSoltBurnett2023.instDecidableEqVerdictRow.decEq (x✝ x✝¹ : VerdictRow) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprVerdictRow :

Repr VerdictRow

Equations

BeltramaSoltBurnett2023.instReprVerdictRow = { reprPrec := BeltramaSoltBurnett2023.instReprVerdictRow.repr }

def BeltramaSoltBurnett2023.instReprVerdictRow.repr :

VerdictRow → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.verdicts :

Experiment → Factor → Comparison → VerdictRow

The cells of pp. 816–817 (Experiment 1); p. 823 (Experiment 2), by experiment and factor and comparison; checked against the page images.

Equations

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

Instances For

structure BeltramaSoltBurnett2023.PostHoc :

A row of pp. 816–817 (Experiment 1); p. 823 (Experiment 2): the post-hoc comparison of the precise with the underspecified condition.

experiment : Experiment
The experiment.
factor : Factor
The composite score.
t : Data.Experiments.Decimal
The t statistic.
df : ℕ
Its degrees of freedom.
bound : Bound
How the p-value is printed.
p : Data.Experiments.Decimal
The p-value.

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instDecidableEqPostHoc :

DecidableEq PostHoc

Equations

BeltramaSoltBurnett2023.instDecidableEqPostHoc = BeltramaSoltBurnett2023.instDecidableEqPostHoc.decEq

def BeltramaSoltBurnett2023.instDecidableEqPostHoc.decEq (x✝ x✝¹ : PostHoc) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

@[instance_reducible]

instance BeltramaSoltBurnett2023.instReprPostHoc :

Equations

BeltramaSoltBurnett2023.instReprPostHoc = { reprPrec := BeltramaSoltBurnett2023.instReprPostHoc.repr }

def BeltramaSoltBurnett2023.instReprPostHoc.repr :

PostHoc → ℕ → Std.Format

Equations

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

Instances For

def BeltramaSoltBurnett2023.preciseVsUnderspecified :

The 6 rows of pp. 816–817 (Experiment 1); p. 823 (Experiment 2), in the paper's order; checked against the page images.

Equations

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

Instances For