SolstadBott2024: experimental results (generated)

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

The three rating experiments on German occasion verbs. Block 1 of Experiments 1 and 2: the acceptability of a trigger's sentence in a neutral context, after a sentence supplying the projective content (anaphoric) and before one (cataphoric), on a slider transformed to [0, 1], with the likelihood-ratio tests of a supported context against the neutral one. Block 2: the projectivity and at-issueness of the occasion implication and of the implications of stimulus-experiencer and experiencer-stimulus psychological verbs, in the paradigm of Tonhauser, Beaver and Degen (2018), with 1 the maximal projectivity and the maximal at-issueness; the established triggers run alongside are plotted only. Experiment 3: the projectivity of the content from a conditional antecedent holding the trigger alone, before a conjunct entailing the content, or after one.

Raw data

• https://osf.io/76rxb/: materials, trial-level data and the analysis scripts of the three experiments (footnote 6); the Block 1 means are recomputed from the archive RMD_files_occasion_verbs.zip

References

• [SB24]

inductive SolstadBott2024.Experiment : Type

The two experiments with a Block 2.

• exp1 : Experiment

  Experiment 1: 16 occasion verbs beside seven established triggers, 71 participants

• exp2 : Experiment

  Experiment 2: 14 occasion verbs and 18 psychological verbs beside six established triggers, 60 participants

@[instance_reducible]

instance SolstadBott2024.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprExperiment : Repr Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance SolstadBott2024.instFintypeExperiment : Fintype Experiment

Equations

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

inductive SolstadBott2024.Trigger : Type

The Implicit Causality verb classes whose implications were rated.

• occasion : Trigger

  occasion verbs: agent-evocator verbs; the occasion implication

• stimulusExperiencer : Trigger

  se-verbs: stimulus-experiencer psychological verbs

• experiencerStimulus : Trigger

  es-verbs: experiencer-stimulus psychological verbs

@[instance_reducible]

instance SolstadBott2024.instDecidableEqTrigger : DecidableEq Trigger

Equations

• SolstadBott2024.instDecidableEqTrigger x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SolstadBott2024.instReprTrigger : Repr Trigger

Equations

• SolstadBott2024.instReprTrigger = { reprPrec := SolstadBott2024.instReprTrigger.repr }

def SolstadBott2024.instReprTrigger.repr : Trigger → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instFintypeTrigger : Fintype Trigger

Equations

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

inductive SolstadBott2024.Level : Type

The unit over which a correlation was computed.

• triggerTypes : Level

  trigger types: ratings aggregated over trigger types

• occasionVerbs : Level

  occasion verbs: the individual occasion verbs

@[instance_reducible]

instance SolstadBott2024.instDecidableEqLevel : DecidableEq Level

Equations

• SolstadBott2024.instDecidableEqLevel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SolstadBott2024.instReprLevel.repr : Level → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprLevel : Repr Level

Equations

• SolstadBott2024.instReprLevel = { reprPrec := SolstadBott2024.instReprLevel.repr }

@[instance_reducible]

instance SolstadBott2024.instFintypeLevel : Fintype Level

Equations

• SolstadBott2024.instFintypeLevel = { elems := { val := ↑SolstadBott2024.Level.enumList, nodup := SolstadBott2024.Level.enumList_nodup }, complete := SolstadBott2024.instFintypeLevel._proof_1 }

inductive SolstadBott2024.PBound : Type

Whether a printed p-value is exact or an upper bound.

• exact : PBound

  =: p as printed

• below : PBound

  <: p is below the printed value

@[instance_reducible]

instance SolstadBott2024.instDecidableEqPBound : DecidableEq PBound

Equations

• SolstadBott2024.instDecidableEqPBound x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SolstadBott2024.instReprPBound.repr : PBound → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprPBound : Repr PBound

Equations

• SolstadBott2024.instReprPBound = { reprPrec := SolstadBott2024.instReprPBound.repr }

@[instance_reducible]

instance SolstadBott2024.instFintypePBound : Fintype PBound

Equations

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

inductive SolstadBott2024.Context : Type

The context types of Block 1.

• neutral : Context

  neutral: the trigger's sentence after an introductory sentence only

• anaphoric : Context

  anaphoric: a sentence supplying the projective content precedes the trigger's sentence

• cataphoric : Context

  cataphoric: a sentence supplying the projective content follows the trigger's sentence

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContext : DecidableEq Context

Equations

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

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

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContext : Repr Context

Equations

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

@[instance_reducible]

instance SolstadBott2024.instFintypeContext : Fintype Context

Equations

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

inductive SolstadBott2024.TriggerOne : Type

The trigger types of Block 1 of Experiment 1.

• occasion : TriggerOne

  occasion verbs: the sixteen occasion verbs; the occasion implication

• pronoun : TriggerOne

  personal pronoun: the existence of a referent

• demonstrative : TriggerOne

  demonstrative NP: the speaker indicates a referent

• possessive : TriggerOne

  possessive NP: the possessor implication

• nrrc : TriggerOne

  NRRC: the content of a non-restrictive relative clause

• know : TriggerOne

  know: wissen; the content of the complement

• discover : TriggerOne

  discover: entdecken; the content of the complement

• stop : TriggerOne

  stop: aufhören; the prestate

@[instance_reducible]

instance SolstadBott2024.instDecidableEqTriggerOne : DecidableEq TriggerOne

Equations

• SolstadBott2024.instDecidableEqTriggerOne x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SolstadBott2024.instReprTriggerOne.repr : TriggerOne → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprTriggerOne : Repr TriggerOne

Equations

• SolstadBott2024.instReprTriggerOne = { reprPrec := SolstadBott2024.instReprTriggerOne.repr }

@[instance_reducible]

instance SolstadBott2024.instFintypeTriggerOne : Fintype TriggerOne

Equations

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

inductive SolstadBott2024.TriggerTwo : Type

The trigger types and verb classes of Block 1 of Experiment 2.

• occasion : TriggerTwo

  occasion verbs: the sixteen occasion verbs; the occasion implication

• too : TriggerTwo

  too: auch, ebenfalls; the existence of an alternative

• again : TriggerTwo

  again: wieder

• definite : TriggerTwo

  definite article: definite descriptions

• manage : TriggerTwo

  manage: schaffen, the implicative

• cleft : TriggerTwo

  cleft: clefts

• appositive : TriggerTwo

  appositive: appositives

• experiencerStimulus : TriggerTwo

  es-verbs: experiencer-stimulus psychological verbs

• stimulusExperiencer : TriggerTwo

  se-verbs: stimulus-experiencer psychological verbs

@[instance_reducible]

instance SolstadBott2024.instDecidableEqTriggerTwo : DecidableEq TriggerTwo

Equations

• SolstadBott2024.instDecidableEqTriggerTwo x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SolstadBott2024.instReprTriggerTwo.repr : TriggerTwo → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprTriggerTwo : Repr TriggerTwo

Equations

• SolstadBott2024.instReprTriggerTwo = { reprPrec := SolstadBott2024.instReprTriggerTwo.repr }

@[instance_reducible]

instance SolstadBott2024.instFintypeTriggerTwo : Fintype TriggerTwo

Equations

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

inductive SolstadBott2024.Antecedent : Type

The antecedent types of Experiment 3.

• triggerFirst : Antecedent

  trigger first: the trigger's clause conjoined with a following clause entailing the content

• triggerLast : Antecedent

  trigger last: the trigger's clause conjoined with a preceding clause entailing the content

• triggerOnly : Antecedent

  trigger only: the trigger's clause alone

@[instance_reducible]

instance SolstadBott2024.instDecidableEqAntecedent : DecidableEq Antecedent

Equations

• SolstadBott2024.instDecidableEqAntecedent x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def SolstadBott2024.instReprAntecedent.repr : Antecedent → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprAntecedent : Repr Antecedent

Equations

• SolstadBott2024.instReprAntecedent = { reprPrec := SolstadBott2024.instReprAntecedent.repr }

@[instance_reducible]

instance SolstadBott2024.instFintypeAntecedent : Fintype Antecedent

Equations

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

inductive SolstadBott2024.TriggerGroup : Type

The two groups of items in Experiment 3.

• occasion : TriggerGroup

  occasion verbs: 24 items with the sixteen occasion verbs

• factiveAspectual : TriggerGroup

  Mandelkern triggers: 24 items translated from Mandelkern et al. (2020): sich freuen dass, wissen, aufhören, weiterhin

@[instance_reducible]

instance SolstadBott2024.instDecidableEqTriggerGroup : DecidableEq TriggerGroup

Equations

• SolstadBott2024.instDecidableEqTriggerGroup x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SolstadBott2024.instReprTriggerGroup : Repr TriggerGroup

Equations

• SolstadBott2024.instReprTriggerGroup = { reprPrec := SolstadBott2024.instReprTriggerGroup.repr }

def SolstadBott2024.instReprTriggerGroup.repr : TriggerGroup → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instFintypeTriggerGroup : Fintype TriggerGroup

Equations

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

def SolstadBott2024.participantsExp1 : ℕ

Participants remaining in Experiment 1 after exclusions. (§2.2.1, p. 11:19; checked against the page images.)

Equations

• SolstadBott2024.participantsExp1 = 71

def SolstadBott2024.participantsExp2 : ℕ

Native German participants in Experiment 2, all included in the analysis. (§3.1.1, pp. 11:30-31; checked against the page images.)

Equations

• SolstadBott2024.participantsExp2 = 60

def SolstadBott2024.participantsExp3 : ℕ

Participants remaining in Experiment 3 after exclusions. (§4.2.2, p. 11:44; checked against the page images.)

Equations

• SolstadBott2024.participantsExp3 = 58

structure SolstadBott2024.ContextMeanExp1 : Type

A row of Figure 3, p. 11:27, plotted only: the mean acceptability rating of a trigger type's sentence in a context type in Block 1 of Experiment 1, on [0, 1] with 1 completely acceptable

• mean : Data.Experiments.Decimal

  The mean rating.

def SolstadBott2024.instDecidableEqContextMeanExp1.decEq (x✝ x✝¹ : ContextMeanExp1) : Decidable (x✝ = x✝¹)

Equations

• SolstadBott2024.instDecidableEqContextMeanExp1.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContextMeanExp1 : DecidableEq ContextMeanExp1

Equations

• SolstadBott2024.instDecidableEqContextMeanExp1 = SolstadBott2024.instDecidableEqContextMeanExp1.decEq

def SolstadBott2024.instReprContextMeanExp1.repr : ContextMeanExp1 → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContextMeanExp1 : Repr ContextMeanExp1

Equations

• SolstadBott2024.instReprContextMeanExp1 = { reprPrec := SolstadBott2024.instReprContextMeanExp1.repr }

def SolstadBott2024.blockOneExp1 : TriggerOne → Context → ContextMeanExp1

The cells of Figure 3, p. 11:27, plotted only, by trigger and context; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.occasion SolstadBott2024.Context.neutral = { mean := { mantissa := 51, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.occasion SolstadBott2024.Context.anaphoric = { mean := { mantissa := 73, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.occasion SolstadBott2024.Context.cataphoric = { mean := { mantissa := 69, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.pronoun SolstadBott2024.Context.neutral = { mean := { mantissa := 24, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.pronoun SolstadBott2024.Context.anaphoric = { mean := { mantissa := 89, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.pronoun SolstadBott2024.Context.cataphoric = { mean := { mantissa := 25, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.demonstrative SolstadBott2024.Context.neutral = { mean := { mantissa := 24, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.demonstrative SolstadBott2024.Context.anaphoric = { mean := { mantissa := 71, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.demonstrative SolstadBott2024.Context.cataphoric = { mean := { mantissa := 30, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.possessive SolstadBott2024.Context.neutral = { mean := { mantissa := 73, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.possessive SolstadBott2024.Context.anaphoric = { mean := { mantissa := 76, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.possessive SolstadBott2024.Context.cataphoric = { mean := { mantissa := 38, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.nrrc SolstadBott2024.Context.neutral = { mean := { mantissa := 74, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.nrrc SolstadBott2024.Context.anaphoric = { mean := { mantissa := 47, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.nrrc SolstadBott2024.Context.cataphoric = { mean := { mantissa := 36, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.know SolstadBott2024.Context.neutral = { mean := { mantissa := 72, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.know SolstadBott2024.Context.anaphoric = { mean := { mantissa := 50, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.know SolstadBott2024.Context.cataphoric = { mean := { mantissa := 36, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.discover SolstadBott2024.Context.neutral = { mean := { mantissa := 86, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.discover SolstadBott2024.Context.anaphoric = { mean := { mantissa := 38, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.discover SolstadBott2024.Context.cataphoric = { mean := { mantissa := 35, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.stop SolstadBott2024.Context.neutral = { mean := { mantissa := 80, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.stop SolstadBott2024.Context.anaphoric = { mean := { mantissa := 77, exponent := 2 } }
• SolstadBott2024.blockOneExp1 SolstadBott2024.TriggerOne.stop SolstadBott2024.Context.cataphoric = { mean := { mantissa := 71, exponent := 2 } }

structure SolstadBott2024.ContextTestExp1 : Type

A row of §2.3.2, pp. 11:28-29: the likelihood-ratio tests of a supported context against the neutral context for one trigger type in Block 1 of Experiment 1

• trigger : TriggerOne

  The trigger type.

• context : Context

  The context compared with the neutral one.

• chiSquare : Data.Experiments.Decimal

  The χ² statistic.

• df : ℕ

  Its degrees of freedom.

• p : Data.Experiments.Decimal

  The printed p.

• pBound : PBound

  Whether p is exact or a bound.

def SolstadBott2024.instDecidableEqContextTestExp1.decEq (x✝ x✝¹ : ContextTestExp1) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContextTestExp1 : DecidableEq ContextTestExp1

Equations

• SolstadBott2024.instDecidableEqContextTestExp1 = SolstadBott2024.instDecidableEqContextTestExp1.decEq

def SolstadBott2024.instReprContextTestExp1.repr : ContextTestExp1 → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContextTestExp1 : Repr ContextTestExp1

Equations

• SolstadBott2024.instReprContextTestExp1 = { reprPrec := SolstadBott2024.instReprContextTestExp1.repr }

def SolstadBott2024.contextTestsExp1 : List ContextTestExp1

The 4 rows of §2.3.2, pp. 11:28-29, in the paper's order; checked against the page images.

Equations

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

structure SolstadBott2024.ContextMeanExp2 : Type

A row of Figure 7, p. 11:37, plotted only; the occasion-verb means are printed in §3.2.2, p. 11:36: the mean acceptability rating of a trigger type's sentence in a context type in Block 1 of Experiment 2, on [0, 1] with 1 completely acceptable

• mean : Data.Experiments.Decimal

  The mean rating.

def SolstadBott2024.instDecidableEqContextMeanExp2.decEq (x✝ x✝¹ : ContextMeanExp2) : Decidable (x✝ = x✝¹)

Equations

• SolstadBott2024.instDecidableEqContextMeanExp2.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContextMeanExp2 : DecidableEq ContextMeanExp2

Equations

• SolstadBott2024.instDecidableEqContextMeanExp2 = SolstadBott2024.instDecidableEqContextMeanExp2.decEq

def SolstadBott2024.instReprContextMeanExp2.repr : ContextMeanExp2 → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContextMeanExp2 : Repr ContextMeanExp2

Equations

• SolstadBott2024.instReprContextMeanExp2 = { reprPrec := SolstadBott2024.instReprContextMeanExp2.repr }

def SolstadBott2024.blockOneExp2 : TriggerTwo → Context → ContextMeanExp2

The cells of Figure 7, p. 11:37, plotted only; the occasion-verb means are printed in §3.2.2, p. 11:36, by trigger and context; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.occasion SolstadBott2024.Context.neutral = { mean := { mantissa := 49, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.occasion SolstadBott2024.Context.anaphoric = { mean := { mantissa := 69, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.occasion SolstadBott2024.Context.cataphoric = { mean := { mantissa := 68, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.too SolstadBott2024.Context.neutral = { mean := { mantissa := 45, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.too SolstadBott2024.Context.anaphoric = { mean := { mantissa := 75, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.too SolstadBott2024.Context.cataphoric = { mean := { mantissa := 50, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.again SolstadBott2024.Context.neutral = { mean := { mantissa := 75, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.again SolstadBott2024.Context.anaphoric = { mean := { mantissa := 67, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.again SolstadBott2024.Context.cataphoric = { mean := { mantissa := 62, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.definite SolstadBott2024.Context.neutral = { mean := { mantissa := 70, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.definite SolstadBott2024.Context.anaphoric = { mean := { mantissa := 70, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.definite SolstadBott2024.Context.cataphoric = { mean := { mantissa := 51, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.manage SolstadBott2024.Context.neutral = { mean := { mantissa := 79, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.manage SolstadBott2024.Context.anaphoric = { mean := { mantissa := 74, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.manage SolstadBott2024.Context.cataphoric = { mean := { mantissa := 53, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.cleft SolstadBott2024.Context.neutral = { mean := { mantissa := 57, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.cleft SolstadBott2024.Context.anaphoric = { mean := { mantissa := 53, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.cleft SolstadBott2024.Context.cataphoric = { mean := { mantissa := 27, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.appositive SolstadBott2024.Context.neutral = { mean := { mantissa := 64, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.appositive SolstadBott2024.Context.anaphoric = { mean := { mantissa := 56, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.appositive SolstadBott2024.Context.cataphoric = { mean := { mantissa := 41, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.experiencerStimulus SolstadBott2024.Context.neutral = { mean := { mantissa := 69, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.experiencerStimulus SolstadBott2024.Context.anaphoric = { mean := { mantissa := 75, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.experiencerStimulus SolstadBott2024.Context.cataphoric = { mean := { mantissa := 74, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.stimulusExperiencer SolstadBott2024.Context.neutral = { mean := { mantissa := 59, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.stimulusExperiencer SolstadBott2024.Context.anaphoric = { mean := { mantissa := 72, exponent := 2 } }
• SolstadBott2024.blockOneExp2 SolstadBott2024.TriggerTwo.stimulusExperiencer SolstadBott2024.Context.cataphoric = { mean := { mantissa := 69, exponent := 2 } }

structure SolstadBott2024.ContextTestExp2 : Type

A row of §3.2.2, pp. 11:36-37: the likelihood-ratio tests of a supported context against the neutral context for one trigger type in Block 1 of Experiment 2

• trigger : TriggerTwo

  The trigger type.

• context : Context

  The context compared with the neutral one.

• chiSquare : Data.Experiments.Decimal

  The χ² statistic.

• df : ℕ

  Its degrees of freedom.

• p : Data.Experiments.Decimal

  The printed p.

• pBound : PBound

  Whether p is exact or a bound.

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContextTestExp2 : DecidableEq ContextTestExp2

Equations

• SolstadBott2024.instDecidableEqContextTestExp2 = SolstadBott2024.instDecidableEqContextTestExp2.decEq

def SolstadBott2024.instDecidableEqContextTestExp2.decEq (x✝ x✝¹ : ContextTestExp2) : Decidable (x✝ = x✝¹)

Equations

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

def SolstadBott2024.instReprContextTestExp2.repr : ContextTestExp2 → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContextTestExp2 : Repr ContextTestExp2

Equations

• SolstadBott2024.instReprContextTestExp2 = { reprPrec := SolstadBott2024.instReprContextTestExp2.repr }

def SolstadBott2024.contextTestsExp2 : List ContextTestExp2

The 3 rows of §3.2.2, pp. 11:36-37, in the paper's order; checked against the page images.

Equations

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

structure SolstadBott2024.Rating : Type

A row of §2.3.1, p. 11:25; §3.2.1, pp. 11:33-34; the by-trigger points of Figures 1 and 4 are plotted only: the mean projectivity and at-issueness ratings of a verb class's implication in Block 2, with the range over individual verbs where printed

• experiment : Experiment

  The experiment.

• trigger : Trigger

  The verb class.

• verbs : ℕ

  The number of verbs analysed.

• projectivity : Data.Experiments.Decimal

  Mean certain-that rating, 1 maximal.

• atIssueness : Data.Experiments.Decimal

  Mean asking-whether rating, 1 maximal at-issueness.

• projectivityRange : Option (List Data.Experiments.Decimal)

  The range over individual verbs, where printed.

• atIssuenessRange : Option (List Data.Experiments.Decimal)

  The range over individual verbs, where printed.

@[instance_reducible]

instance SolstadBott2024.instDecidableEqRating : DecidableEq Rating

Equations

• SolstadBott2024.instDecidableEqRating = SolstadBott2024.instDecidableEqRating.decEq

def SolstadBott2024.instDecidableEqRating.decEq (x✝ x✝¹ : Rating) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprRating : Repr Rating

Equations

• SolstadBott2024.instReprRating = { reprPrec := SolstadBott2024.instReprRating.repr }

def SolstadBott2024.instReprRating.repr : Rating → ℕ → Std.Format

Equations

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

def SolstadBott2024.blockTwo : List Rating

The 4 rows of §2.3.1, p. 11:25; §3.2.1, pp. 11:33-34; the by-trigger points of Figures 1 and 4 are plotted only, in the paper's order; checked against the page images.

Equations

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

structure SolstadBott2024.Correlation : Type

A row of §2.3.1, pp. 11:24-26; §3.2.1, p. 11:34: Pearson correlations of mean projectivity with mean at-issueness

• experiment : Experiment

  The experiment.

• level : Level

  The unit of aggregation.

• r : Data.Experiments.Decimal

  Pearson's r.

• df : ℕ

  Degrees of freedom of the t test.

• t : Data.Experiments.Decimal

  The t statistic.

• p : Data.Experiments.Decimal

  The printed p.

• pBound : PBound

  Whether p is exact or a bound.

@[instance_reducible]

instance SolstadBott2024.instDecidableEqCorrelation : DecidableEq Correlation

Equations

• SolstadBott2024.instDecidableEqCorrelation = SolstadBott2024.instDecidableEqCorrelation.decEq

def SolstadBott2024.instDecidableEqCorrelation.decEq (x✝ x✝¹ : Correlation) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprCorrelation : Repr Correlation

Equations

• SolstadBott2024.instReprCorrelation = { reprPrec := SolstadBott2024.instReprCorrelation.repr }

def SolstadBott2024.instReprCorrelation.repr : Correlation → ℕ → Std.Format

Equations

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

def SolstadBott2024.correlations : List Correlation

The 3 rows of §2.3.1, pp. 11:24-26; §3.2.1, p. 11:34, in the paper's order; checked against the page images.

Equations

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

structure SolstadBott2024.Contrast : Type

A row of Table 3, analyses B and C, p. 11:48: the follow-up regression of projectivity on antecedent type for one group of items in Experiment 3, scaled to [0, 100], with the trigger- first antecedent as the reference level: its mean, and the difference of each other antecedent type from it

• estimate : Data.Experiments.Decimal

  The parameter estimate.

• sme : Data.Experiments.Decimal

  Its standard error.

• t : Data.Experiments.Decimal

  The t value.

@[instance_reducible]

instance SolstadBott2024.instDecidableEqContrast : DecidableEq Contrast

Equations

• SolstadBott2024.instDecidableEqContrast = SolstadBott2024.instDecidableEqContrast.decEq

def SolstadBott2024.instDecidableEqContrast.decEq (x✝ x✝¹ : Contrast) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprContrast : Repr Contrast

Equations

• SolstadBott2024.instReprContrast = { reprPrec := SolstadBott2024.instReprContrast.repr }

def SolstadBott2024.instReprContrast.repr : Contrast → ℕ → Std.Format

Equations

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

def SolstadBott2024.followUp : TriggerGroup → Antecedent → Contrast

The cells of Table 3, analyses B and C, p. 11:48, by group and antecedent; checked against the page images.

Equations

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

structure SolstadBott2024.OrderTest : Type

A row of §4.3, p. 11:47: the likelihood-ratio test of the trigger-first against the trigger- last antecedent for one group of items in Experiment 3

• chiSquare : Data.Experiments.Decimal

  The χ² statistic.

• df : ℕ

  Its degrees of freedom.

• p : Data.Experiments.Decimal

  The printed p.

• pBound : PBound

  Whether p is exact or a bound.

@[instance_reducible]

instance SolstadBott2024.instDecidableEqOrderTest : DecidableEq OrderTest

Equations

• SolstadBott2024.instDecidableEqOrderTest = SolstadBott2024.instDecidableEqOrderTest.decEq

def SolstadBott2024.instDecidableEqOrderTest.decEq (x✝ x✝¹ : OrderTest) : Decidable (x✝ = x✝¹)

Equations

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

def SolstadBott2024.instReprOrderTest.repr : OrderTest → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance SolstadBott2024.instReprOrderTest : Repr OrderTest

Equations

• SolstadBott2024.instReprOrderTest = { reprPrec := SolstadBott2024.instReprOrderTest.repr }

def SolstadBott2024.orderTests : TriggerGroup → OrderTest

The cells of §4.3, p. 11:47, by group; checked against the page images.

Equations

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