AugurzkyEtAl2023: experimental results (generated)

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

Two web-based picture-sentence verification 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). Each picture shows four boys with nine presents each, opened ones coloured and closed ones grey. CONTEXT, a family rule that the presents be opened before the neighbours arrive (UNIVERSAL) or not before the grandparents arrive (EXISTENTIAL), is between subjects and is reinforced by a secondary task asking whether the rule was respected; TRUTH VALUE (true, false, mixed) and POLARITY (every against the negative quantifier) are within subjects. Participants rated how well the sentence described the picture on a five-point scale from 'completely false' to 'completely true'. The mixed conditions are analysed by cumulative logistic mixed-effects models with CONTEXT sum-coded and POLARITY treatment-coded with the negative quantifier as baseline, and random by-subject intercepts and slopes; CONTEXT is reported recoded as Lax (EXISTENTIAL for every, UNIVERSAL for the negative quantifier) or Strict. The paper reports the tests of the effects, not the cell means, which appear only in Figures 3 and 5.

References

• [ABB+23]

inductive AugurzkyEtAl2023.Experiment : Type

The experiment.

• one : Experiment

  Experiment 1: every against no

• two : Experiment

  Experiment 2: every against not every

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprExperiment : Repr Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeExperiment : Fintype Experiment

Equations

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

inductive AugurzkyEtAl2023.Quantifier : Type

The quantifier binding the plural definite, the positive or negative level of POLARITY.

• 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'

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqQuantifier : DecidableEq Quantifier

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprQuantifier : Repr Quantifier

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeQuantifier : Fintype Quantifier

Equations

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

inductive AugurzkyEtAl2023.Context : Type

The factor CONTEXT: what the family rule makes relevant.

• existential : Context

  EXISTENTIAL: wait for the grandparents before opening any presents, which raises whether any presents were opened

• universal : Context

  UNIVERSAL: open the presents before the neighbours arrive, which raises whether all presents were opened

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqContext : DecidableEq Context

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprContext : Repr Context

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeContext : Fintype Context

Equations

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

inductive AugurzkyEtAl2023.Truth : Type

The factor TRUTH VALUE of a picture for a sentence.

• trueControl : Truth

  true: the sentence is true on every reading

• falseControl : Truth

  false: the sentence is false on every reading

• mixed : Truth

  mixed: the sentence is true on a non-maximal reading only

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqTruth : DecidableEq Truth

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprTruth : Repr Truth

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeTruth : Fintype Truth

Equations

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

inductive AugurzkyEtAl2023.Model : Type

The conditions a model was fitted to.

• mixed : Model

  mixed: the mixed conditions

• controls : Model

  controls: the true and false conditions

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqModel : DecidableEq Model

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprModel : Repr Model

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeModel : Fintype Model

Equations

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

inductive AugurzkyEtAl2023.Effect : Type

The term of a model that a test is of.

• context : Effect

  CONTEXT: the main effect of CONTEXT

• polarity : Effect

  POLARITY: the main effect of POLARITY

• interaction : Effect

  CONTEXT × POLARITY: the interaction of CONTEXT and POLARITY

• contextTerms : Effect

  CONTEXT and its interactions: the joint effect of CONTEXT and its interactions

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqEffect : DecidableEq Effect

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprEffect : Repr Effect

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeEffect : Fintype Effect

Equations

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

inductive AugurzkyEtAl2023.Bound : Type

How a p-value is printed.

• below : Bound

  <: as an upper bound

• exact : Bound

  =: as a value

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqBound : DecidableEq Bound

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprBound : Repr Bound

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instFintypeBound : Fintype Bound

Equations

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

def AugurzkyEtAl2023.boys : ℕ

The boys in a picture. (§3.1.1; checked against the page images.)

Equations

• AugurzkyEtAl2023.boys = 4

def AugurzkyEtAl2023.presents : ℕ

The presents of each boy. (§3.1.1; checked against the page images.)

Equations

• AugurzkyEtAl2023.presents = 9

def AugurzkyEtAl2023.scalePoints : ℕ

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

Equations

• AugurzkyEtAl2023.scalePoints = 5

def AugurzkyEtAl2023.lists : ℕ

The lists the items of each experiment were spread over. (§3.1.1, §3.2.1; checked against the PDF text layer only.)

Equations

• AugurzkyEtAl2023.lists = 8

def AugurzkyEtAl2023.controlAccuracy : Data.Experiments.Decimal

The mean accuracy in Experiment 1 on the true and false conditions, in percent. (§3.1.2; checked against the page images.)

Equations

• AugurzkyEtAl2023.controlAccuracy = { mantissa := 983, exponent := 1 }

structure AugurzkyEtAl2023.Participants : Type

A row of §3.1.1, §3.2.1: the participants of an experiment, recruited from Prolific Academic, and those excluded for an error rate of at least 25% on the controls.

• recruited : ℕ

  The native speakers of English recruited.

• excluded : ℕ

  The participants excluded.

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqParticipants : DecidableEq Participants

Equations

• AugurzkyEtAl2023.instDecidableEqParticipants = AugurzkyEtAl2023.instDecidableEqParticipants.decEq

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprParticipants : Repr Participants

Equations

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

def AugurzkyEtAl2023.participants : Experiment → Participants

The cells of §3.1.1, §3.2.1, by experiment; checked against the PDF text layer only.

Equations

• AugurzkyEtAl2023.participants AugurzkyEtAl2023.Experiment.one = { recruited := 192, excluded := 7 }
• AugurzkyEtAl2023.participants AugurzkyEtAl2023.Experiment.two = { recruited := 192, excluded := 10 }

structure AugurzkyEtAl2023.Picture : Type

A row of Figures 1 and 4: the example picture the figure gives for a condition: how many of his nine presents each boy opened, in the figure's order of the boys.

• experiment : Experiment

  The experiment.

• quantifier : Quantifier

  The quantifier of the sentence.

• truth : Truth

  The truth value of the picture for the sentence.

• opened : List ℕ

  The presents each boy opened.

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqPicture : DecidableEq Picture

Equations

• AugurzkyEtAl2023.instDecidableEqPicture = AugurzkyEtAl2023.instDecidableEqPicture.decEq

def AugurzkyEtAl2023.instDecidableEqPicture.decEq (x✝ x✝¹ : Picture) : Decidable (x✝ = x✝¹)

Equations

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

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprPicture : Repr Picture

Equations

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

def AugurzkyEtAl2023.pictures : List Picture

The 12 rows of Figures 1 and 4, in the paper's order; checked against the page images.

Equations

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

structure AugurzkyEtAl2023.Test : Type

A row of §3.1.2, §3.2.2: a χ² test of a term of a cumulative logistic mixed-effects model.

• experiment : Experiment

  The experiment.

• model : Model

  The conditions the model was fitted to.

• effect : Effect

  The term tested.

• df : ℕ

  The degrees of freedom of the chi-square statistic.

• chiSq : Data.Experiments.Decimal

  The chi-square statistic.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instDecidableEqTest : DecidableEq Test

Equations

• AugurzkyEtAl2023.instDecidableEqTest = AugurzkyEtAl2023.instDecidableEqTest.decEq

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

Equations

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

@[instance_reducible]

instance AugurzkyEtAl2023.instReprTest : Repr Test

Equations

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

def AugurzkyEtAl2023.tests : List Test

The 7 rows of §3.1.2, §3.2.2, in the paper's order; checked against the page images.

Equations

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