Bruening2025: experimental results (generated)

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

Three acceptability surveys on Amazon Mechanical Turk, rated on a scale from 1 (extremely unnatural) to 5 (extremely natural). Experiment 1a compared non-ly adverbs and adjectives before a noun, Experiment 1b a clause alone and a clause coordinated with a noun phrase where only noun phrases are selected, the two serving as each other's fillers; Experiment 2 repeated 1a with one-replacement, which rules out a compound parse.

References

• [Bru25]

inductive Bruening2025.Scale : Type

The scale a statistic is reported on.

• raw : Scale

  raw: the ratings on the 1-to-5 scale

• z : Scale

  z: the ratings z-scored per participant

@[instance_reducible]

instance Bruening2025.instDecidableEqScale : DecidableEq Scale

Equations

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

def Bruening2025.instReprScale.repr : Scale → ℕ → Std.Format

Equations

• Bruening2025.instReprScale.repr Bruening2025.Scale.raw prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Bruening2025.Scale.raw")).group prec✝
• Bruening2025.instReprScale.repr Bruening2025.Scale.z prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Bruening2025.Scale.z")).group prec✝

@[instance_reducible]

instance Bruening2025.instReprScale : Repr Scale

Equations

• Bruening2025.instReprScale = { reprPrec := Bruening2025.instReprScale.repr }

@[instance_reducible]

instance Bruening2025.instFintypeScale : Fintype Scale

Equations

• Bruening2025.instFintypeScale = { elems := { val := ↑Bruening2025.Scale.enumList, nodup := Bruening2025.Scale.enumList_nodup }, complete := Bruening2025.instFintypeScale._proof_1 }

inductive Bruening2025.Exp1aCondition : Type

The conditions of Experiment 1a.

• control : Exp1aCondition

  Control: the grammatical fillers

• ungrammatical : Exp1aCondition

  Ungrammatical: the ungrammatical fillers

• adjective : Exp1aCondition

  Adjective: an adjective before the noun, the current vice president

• adverb : Exp1aCondition

  Adverb: a non-ly adverb before the noun, the now vice president

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1aCondition : DecidableEq Exp1aCondition

Equations

• Bruening2025.instDecidableEqExp1aCondition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Bruening2025.instReprExp1aCondition.repr : Exp1aCondition → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp1aCondition : Repr Exp1aCondition

Equations

• Bruening2025.instReprExp1aCondition = { reprPrec := Bruening2025.instReprExp1aCondition.repr }

@[instance_reducible]

instance Bruening2025.instFintypeExp1aCondition : Fintype Exp1aCondition

Equations

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

inductive Bruening2025.Exp2Condition : Type

The conditions of Experiment 2.

• grammaticalFiller : Exp2Condition

  Filler: Grammatical: the grammatical fillers

• ungrammaticalFiller : Exp2Condition

  Filler: Ungrammatical: the ungrammatical fillers

• adjective : Exp2Condition

  Adjective: an adjective before the noun with one-replacement, the current Caliph and the old one

• adverb : Exp2Condition

  Adverb: a non-ly adverb before the noun with one-replacement, the now Caliph and the old one

@[instance_reducible]

instance Bruening2025.instDecidableEqExp2Condition : DecidableEq Exp2Condition

Equations

• Bruening2025.instDecidableEqExp2Condition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bruening2025.instReprExp2Condition : Repr Exp2Condition

Equations

• Bruening2025.instReprExp2Condition = { reprPrec := Bruening2025.instReprExp2Condition.repr }

def Bruening2025.instReprExp2Condition.repr : Exp2Condition → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instFintypeExp2Condition : Fintype Exp2Condition

Equations

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

inductive Bruening2025.Exp1bCondition : Type

The conditions of Experiment 1b.

• control : Exp1bCondition

  Control: the grammatical fillers

• ungrammatical : Exp1bCondition

  Ungrammatical: the ungrammatical fillers

• coordination : Exp1bCondition

  Coordination: a noun phrase coordinated with a clause where only noun phrases are selected

• simple : Exp1bCondition

  Simple: a clause alone where only noun phrases are selected

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1bCondition : DecidableEq Exp1bCondition

Equations

• Bruening2025.instDecidableEqExp1bCondition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Bruening2025.instReprExp1bCondition.repr : Exp1bCondition → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp1bCondition : Repr Exp1bCondition

Equations

• Bruening2025.instReprExp1bCondition = { reprPrec := Bruening2025.instReprExp1bCondition.repr }

@[instance_reducible]

instance Bruening2025.instFintypeExp1bCondition : Fintype Exp1bCondition

Equations

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

inductive Bruening2025.Experiment : Type

The three experiments.

• exp1a : Experiment

  1a: prenominal adverbs and adjectives

• exp1b : Experiment

  1b: clauses in noun-phrase positions

• exp2 : Experiment

  2: prenominal adverbs and adjectives with one-replacement

@[instance_reducible]

instance Bruening2025.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExperiment : Repr Experiment

Equations

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

@[instance_reducible]

instance Bruening2025.instFintypeExperiment : Fintype Experiment

Equations

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

inductive Bruening2025.Band : Type

A band of a participant's mean rating of a condition.

• atLeastFour : Band

  4 or higher: rated 4 or higher, taken as acceptable

• belowThree : Band

  below 3: rated below 3, taken as unacceptable

@[instance_reducible]

instance Bruening2025.instDecidableEqBand : DecidableEq Band

Equations

• Bruening2025.instDecidableEqBand x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bruening2025.instReprBand : Repr Band

Equations

• Bruening2025.instReprBand = { reprPrec := Bruening2025.instReprBand.repr }

def Bruening2025.instReprBand.repr : Band → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instFintypeBand : Fintype Band

Equations

• Bruening2025.instFintypeBand = { elems := { val := ↑Bruening2025.Band.enumList, nodup := Bruening2025.Band.enumList_nodup }, complete := Bruening2025.instFintypeBand._proof_1 }

def Bruening2025.participants1 : ℕ

The participants of Experiments 1a and 1b whose data entered the analysis. (p. 448; checked against the page images.)

Equations

• Bruening2025.participants1 = 65

def Bruening2025.participants2 : ℕ

The participants of Experiment 2 whose data entered the analysis. (p. 450; checked against the page images.)

Equations

• Bruening2025.participants2 = 77

structure Bruening2025.Exp1aStatistic : Type

A row of Table 2, p. 448: the mean ratings and standard deviations of the conditions of Experiment 1a.

• mean : Data.Experiments.Decimal

  The mean rating.

• sd : Data.Experiments.Decimal

  The standard deviation of the ratings.

def Bruening2025.instDecidableEqExp1aStatistic.decEq (x✝ x✝¹ : Exp1aStatistic) : Decidable (x✝ = x✝¹)

Equations

• Bruening2025.instDecidableEqExp1aStatistic.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 ⋯

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1aStatistic : DecidableEq Exp1aStatistic

Equations

• Bruening2025.instDecidableEqExp1aStatistic = Bruening2025.instDecidableEqExp1aStatistic.decEq

@[instance_reducible]

instance Bruening2025.instReprExp1aStatistic : Repr Exp1aStatistic

Equations

• Bruening2025.instReprExp1aStatistic = { reprPrec := Bruening2025.instReprExp1aStatistic.repr }

def Bruening2025.instReprExp1aStatistic.repr : Exp1aStatistic → ℕ → Std.Format

Equations

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

def Bruening2025.table2 : Scale → Exp1aCondition → Exp1aStatistic

The cells of Table 2, p. 448, by scale and condition; checked against the page images.

Equations

• Bruening2025.table2 Bruening2025.Scale.raw Bruening2025.Exp1aCondition.control = { mean := { mantissa := 445, exponent := 2 }, sd := { mantissa := 91, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.raw Bruening2025.Exp1aCondition.ungrammatical = { mean := { mantissa := 227, exponent := 2 }, sd := { mantissa := 136, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.raw Bruening2025.Exp1aCondition.adjective = { mean := { mantissa := 475, exponent := 2 }, sd := { mantissa := 55, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.raw Bruening2025.Exp1aCondition.adverb = { mean := { mantissa := 316, exponent := 2 }, sd := { mantissa := 127, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.z Bruening2025.Exp1aCondition.control = { mean := { mantissa := 63, exponent := 2 }, sd := { mantissa := 71, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.z Bruening2025.Exp1aCondition.ungrammatical = { mean := { mantissa := -97, exponent := 2 }, sd := { mantissa := 94, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.z Bruening2025.Exp1aCondition.adjective = { mean := { mantissa := 87, exponent := 2 }, sd := { mantissa := 40, exponent := 2 } }
• Bruening2025.table2 Bruening2025.Scale.z Bruening2025.Exp1aCondition.adverb = { mean := { mantissa := -31, exponent := 2 }, sd := { mantissa := 83, exponent := 2 } }

structure Bruening2025.Exp2Statistic : Type

A row of Table 4, p. 450: the mean ratings and standard deviations of the conditions of Experiment 2.

• mean : Data.Experiments.Decimal

  The mean rating.

• sd : Data.Experiments.Decimal

  The standard deviation of the ratings.

def Bruening2025.instDecidableEqExp2Statistic.decEq (x✝ x✝¹ : Exp2Statistic) : Decidable (x✝ = x✝¹)

Equations

• Bruening2025.instDecidableEqExp2Statistic.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 ⋯

@[instance_reducible]

instance Bruening2025.instDecidableEqExp2Statistic : DecidableEq Exp2Statistic

Equations

• Bruening2025.instDecidableEqExp2Statistic = Bruening2025.instDecidableEqExp2Statistic.decEq

def Bruening2025.instReprExp2Statistic.repr : Exp2Statistic → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp2Statistic : Repr Exp2Statistic

Equations

• Bruening2025.instReprExp2Statistic = { reprPrec := Bruening2025.instReprExp2Statistic.repr }

def Bruening2025.table4 : Scale → Exp2Condition → Exp2Statistic

The cells of Table 4, p. 450, by scale and condition; checked against the page images.

Equations

• Bruening2025.table4 Bruening2025.Scale.raw Bruening2025.Exp2Condition.grammaticalFiller = { mean := { mantissa := 439, exponent := 2 }, sd := { mantissa := 95, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.raw Bruening2025.Exp2Condition.ungrammaticalFiller = { mean := { mantissa := 220, exponent := 2 }, sd := { mantissa := 127, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.raw Bruening2025.Exp2Condition.adjective = { mean := { mantissa := 382, exponent := 2 }, sd := { mantissa := 108, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.raw Bruening2025.Exp2Condition.adverb = { mean := { mantissa := 260, exponent := 2 }, sd := { mantissa := 117, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.z Bruening2025.Exp2Condition.grammaticalFiller = { mean := { mantissa := 75, exponent := 2 }, sd := { mantissa := 67, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.z Bruening2025.Exp2Condition.ungrammaticalFiller = { mean := { mantissa := -78, exponent := 2 }, sd := { mantissa := 87, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.z Bruening2025.Exp2Condition.adjective = { mean := { mantissa := 36, exponent := 2 }, sd := { mantissa := 63, exponent := 2 } }
• Bruening2025.table4 Bruening2025.Scale.z Bruening2025.Exp2Condition.adverb = { mean := { mantissa := -49, exponent := 2 }, sd := { mantissa := 72, exponent := 2 } }

structure Bruening2025.Exp1bStatistic : Type

A row of Table 6, p. 456: the mean ratings and standard deviations of the conditions of Experiment 1b; the fillers repeat those of Table 2.

• mean : Data.Experiments.Decimal

  The mean rating.

• sd : Data.Experiments.Decimal

  The standard deviation of the ratings.

def Bruening2025.instDecidableEqExp1bStatistic.decEq (x✝ x✝¹ : Exp1bStatistic) : Decidable (x✝ = x✝¹)

Equations

• Bruening2025.instDecidableEqExp1bStatistic.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 ⋯

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1bStatistic : DecidableEq Exp1bStatistic

Equations

• Bruening2025.instDecidableEqExp1bStatistic = Bruening2025.instDecidableEqExp1bStatistic.decEq

@[instance_reducible]

instance Bruening2025.instReprExp1bStatistic : Repr Exp1bStatistic

Equations

• Bruening2025.instReprExp1bStatistic = { reprPrec := Bruening2025.instReprExp1bStatistic.repr }

def Bruening2025.instReprExp1bStatistic.repr : Exp1bStatistic → ℕ → Std.Format

Equations

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

def Bruening2025.table6 : Scale → Exp1bCondition → Exp1bStatistic

The cells of Table 6, p. 456, by scale and condition; checked against the page images.

Equations

• Bruening2025.table6 Bruening2025.Scale.raw Bruening2025.Exp1bCondition.control = { mean := { mantissa := 445, exponent := 2 }, sd := { mantissa := 91, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.raw Bruening2025.Exp1bCondition.ungrammatical = { mean := { mantissa := 227, exponent := 2 }, sd := { mantissa := 136, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.raw Bruening2025.Exp1bCondition.coordination = { mean := { mantissa := 395, exponent := 2 }, sd := { mantissa := 106, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.raw Bruening2025.Exp1bCondition.simple = { mean := { mantissa := 287, exponent := 2 }, sd := { mantissa := 120, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.z Bruening2025.Exp1bCondition.control = { mean := { mantissa := 63, exponent := 2 }, sd := { mantissa := 71, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.z Bruening2025.Exp1bCondition.ungrammatical = { mean := { mantissa := -97, exponent := 2 }, sd := { mantissa := 94, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.z Bruening2025.Exp1bCondition.coordination = { mean := { mantissa := 28, exponent := 2 }, sd := { mantissa := 67, exponent := 2 } }
• Bruening2025.table6 Bruening2025.Scale.z Bruening2025.Exp1bCondition.simple = { mean := { mantissa := -50, exponent := 2 }, sd := { mantissa := 74, exponent := 2 } }

structure Bruening2025.Exp1bItem : Type

A row of Table 7, p. 457: the mean raw rating of each item of Experiment 1b in each condition.

• item : ℕ

  The item, numbered as in Table 5.

• simple : Data.Experiments.Decimal

  The mean rating of the item's clause alone.

• coordination : Data.Experiments.Decimal

  The mean rating of the item's coordination.

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1bItem : DecidableEq Exp1bItem

Equations

• Bruening2025.instDecidableEqExp1bItem = Bruening2025.instDecidableEqExp1bItem.decEq

def Bruening2025.instDecidableEqExp1bItem.decEq (x✝ x✝¹ : Exp1bItem) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp1bItem : Repr Exp1bItem

Equations

• Bruening2025.instReprExp1bItem = { reprPrec := Bruening2025.instReprExp1bItem.repr }

def Bruening2025.instReprExp1bItem.repr : Exp1bItem → ℕ → Std.Format

Equations

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

def Bruening2025.table7 : List Exp1bItem

The 8 rows of Table 7, p. 457, in the paper's order; checked against the page images.

Equations

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

structure Bruening2025.Exp1aBand : Type

A row of p. 449: how many of the participants of Experiment 1a rate a condition in a band.

• condition : Exp1aCondition

  The condition.

• band : Band

  The band of the participant's mean rating.

• count : ℕ

  How many participants fall in the band.

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1aBand : DecidableEq Exp1aBand

Equations

• Bruening2025.instDecidableEqExp1aBand = Bruening2025.instDecidableEqExp1aBand.decEq

def Bruening2025.instDecidableEqExp1aBand.decEq (x✝ x✝¹ : Exp1aBand) : Decidable (x✝ = x✝¹)

Equations

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

def Bruening2025.instReprExp1aBand.repr : Exp1aBand → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp1aBand : Repr Exp1aBand

Equations

• Bruening2025.instReprExp1aBand = { reprPrec := Bruening2025.instReprExp1aBand.repr }

def Bruening2025.bands1a : List Exp1aBand

The 6 rows of p. 449, in the paper's order; checked against the page images.

Equations

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

structure Bruening2025.Exp2Band : Type

A row of p. 451: how many of the participants of Experiment 2 rate a condition in a band.

• condition : Exp2Condition

  The condition.

• band : Band

  The band of the participant's mean rating.

• count : ℕ

  How many participants fall in the band.

@[instance_reducible]

instance Bruening2025.instDecidableEqExp2Band : DecidableEq Exp2Band

Equations

• Bruening2025.instDecidableEqExp2Band = Bruening2025.instDecidableEqExp2Band.decEq

def Bruening2025.instDecidableEqExp2Band.decEq (x✝ x✝¹ : Exp2Band) : Decidable (x✝ = x✝¹)

Equations

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

def Bruening2025.instReprExp2Band.repr : Exp2Band → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bruening2025.instReprExp2Band : Repr Exp2Band

Equations

• Bruening2025.instReprExp2Band = { reprPrec := Bruening2025.instReprExp2Band.repr }

def Bruening2025.bands2 : List Exp2Band

The 2 rows of p. 451, in the paper's order; checked against the page images.

Equations

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

structure Bruening2025.Exp1bBand : Type

A row of p. 457: how many of the participants of Experiment 1b rate a condition in a band.

• condition : Exp1bCondition

  The condition.

• band : Band

  The band of the participant's mean rating.

• count : ℕ

  How many participants fall in the band.

def Bruening2025.instDecidableEqExp1bBand.decEq (x✝ x✝¹ : Exp1bBand) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Bruening2025.instDecidableEqExp1bBand : DecidableEq Exp1bBand

Equations

• Bruening2025.instDecidableEqExp1bBand = Bruening2025.instDecidableEqExp1bBand.decEq

@[instance_reducible]

instance Bruening2025.instReprExp1bBand : Repr Exp1bBand

Equations

• Bruening2025.instReprExp1bBand = { reprPrec := Bruening2025.instReprExp1bBand.repr }

def Bruening2025.instReprExp1bBand.repr : Exp1bBand → ℕ → Std.Format

Equations

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

def Bruening2025.bands1b : List Exp1bBand

The 4 rows of p. 457, in the paper's order; checked against the page images.

Equations

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

structure Bruening2025.Test : Type

A row of pp. 449, 451, 456: the mixed-effects comparison of the two critical conditions of each experiment, with the Satterthwaite degrees of freedom and the t-value.

• df : Data.Experiments.Decimal

  The degrees of freedom.

• t : Data.Experiments.Decimal

  The t-value.

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

Equations

• Bruening2025.instDecidableEqTest.decEq { df := a, t := a_1 } { df := b, t := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance Bruening2025.instDecidableEqTest : DecidableEq Test

Equations

• Bruening2025.instDecidableEqTest = Bruening2025.instDecidableEqTest.decEq

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

Equations

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

@[instance_reducible]

instance Bruening2025.instReprTest : Repr Test

Equations

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

def Bruening2025.tests : Experiment → Test

The cells of pp. 449, 451, 456, by experiment; checked against the page images.

Equations

• Bruening2025.tests Bruening2025.Experiment.exp1a = { df := { mantissa := 835, exponent := 2 }, t := { mantissa := 728, exponent := 2 } }
• Bruening2025.tests Bruening2025.Experiment.exp2 = { df := { mantissa := 767, exponent := 2 }, t := { mantissa := 6895, exponent := 3 } }
• Bruening2025.tests Bruening2025.Experiment.exp1b = { df := { mantissa := 7984, exponent := 3 }, t := { mantissa := 5575, exponent := 3 } }