DegenTonhauser2022: experimental results (generated)

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

Six experiments on the content of the clausal complement of twenty English clause-embedding predicates, crossing three diagnostics with two response tasks: projection by the certain-that diagnostic on polar questions (Experiments 1a and 1b), and entailment by the inference diagnostic on true statements (2a and 2b) and by the contradictoriness diagnostic on utterances that go on to deny the complement (3a and 3b). The by-predicate means are plotted, not tabulated; for each experiment the paper prints which predicates a Bayesian mixed-effects regression did not distinguish from the reference controls.

Raw data

• https://github.com/judith-tonhauser/projective-probability: materials, trial-level data and analysis code of all six experiments (footnote 14); the means are recomputed from results/5-projectivity-no-fact/data/cd.csv (1a) and results/8-projectivity-no-fact- binary/data/cd.csv (1b), which already apply the paper's participant exclusions

References

• [DT22]

inductive DegenTonhauser2022.Predicate : Type

The twenty clause-embedding predicates.

• acknowledge : Predicate

  acknowledge: a verb

• admit : Predicate

  admit: a verb

• announce : Predicate

  announce: a verb

• beAnnoyed : Predicate

  be annoyed: an adjective with the copula

• beRight : Predicate

  be right: an adjective with the copula

• confess : Predicate

  confess: a verb

• confirm : Predicate

  confirm: a verb

• demonstrate : Predicate

  demonstrate: a verb

• discover : Predicate

  discover: a verb

• establish : Predicate

  establish: a verb

• hear : Predicate

  hear: a verb

• inform : Predicate

  inform: a verb, its indirect object Sam in every stimulus

• know : Predicate

  know: a verb

• pretend : Predicate

  pretend: a verb

• prove : Predicate

  prove: a verb

• reveal : Predicate

  reveal: a verb

• say : Predicate

  say: a verb

• see : Predicate

  see: a verb

• suggest : Predicate

  suggest: a verb

• think : Predicate

  think: a verb

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqPredicate : DecidableEq Predicate

Equations

• DegenTonhauser2022.instDecidableEqPredicate x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2022.instReprPredicate : Repr Predicate

Equations

• DegenTonhauser2022.instReprPredicate = { reprPrec := DegenTonhauser2022.instReprPredicate.repr }

def DegenTonhauser2022.instReprPredicate.repr : Predicate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instFintypePredicate : Fintype Predicate

Equations

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

inductive DegenTonhauser2022.Category : Type

A category the predicates are typically taken to fall into.

• canonicallyFactive : Category

  canonically factive: the complement is taken to be presupposed

• nonveridicalNonfactive : Category

  nonveridical nonfactive: the complement is taken to be neither presupposed nor entailed

• veridicalNonfactive : Category

  veridical nonfactive: the complement is taken to be entailed but not presupposed

• optionallyFactive : Category

  optionally factive: the complement can be presupposed

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqCategory : DecidableEq Category

Equations

• DegenTonhauser2022.instDecidableEqCategory x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2022.instReprCategory : Repr Category

Equations

• DegenTonhauser2022.instReprCategory = { reprPrec := DegenTonhauser2022.instReprCategory.repr }

def DegenTonhauser2022.instReprCategory.repr : Category → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instFintypeCategory : Fintype Category

Equations

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

inductive DegenTonhauser2022.Task : Type

The response task of an experiment.

• gradient : Task

  gradient: a slider from 'no' (0) to 'yes' (1); Experiments 1a, 2a and 3a

• categorical : Task

  categorical: a forced choice of 'yes' (1) or 'no' (0); Experiments 1b, 2b and 3b

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqTask : DecidableEq Task

Equations

• DegenTonhauser2022.instDecidableEqTask x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2022.instReprTask : Repr Task

Equations

• DegenTonhauser2022.instReprTask = { reprPrec := DegenTonhauser2022.instReprTask.repr }

def DegenTonhauser2022.instReprTask.repr : Task → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instFintypeTask : Fintype Task

Equations

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

inductive DegenTonhauser2022.Diagnostic : Type

A diagnostic for entailment.

• inference : Diagnostic

  inference: whether the complement follows from a true statement of the matrix sentence; Experiments 2a and 2b

• contradictoriness : Diagnostic

  contradictoriness: whether the matrix sentence followed by a denial of the complement is contradictory; Experiments 3a and 3b

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqDiagnostic : DecidableEq Diagnostic

Equations

• DegenTonhauser2022.instDecidableEqDiagnostic x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DegenTonhauser2022.instReprDiagnostic.repr : Diagnostic → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instReprDiagnostic : Repr Diagnostic

Equations

• DegenTonhauser2022.instReprDiagnostic = { reprPrec := DegenTonhauser2022.instReprDiagnostic.repr }

@[instance_reducible]

instance DegenTonhauser2022.instFintypeDiagnostic : Fintype Diagnostic

Equations

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

structure DegenTonhauser2022.ClassificationRow : Type

A row of (13), p. 559: the predicates of a category.

• predicates : List Predicate

  Its predicates, in the paper's order.

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqClassificationRow : DecidableEq ClassificationRow

Equations

• DegenTonhauser2022.instDecidableEqClassificationRow = DegenTonhauser2022.instDecidableEqClassificationRow.decEq

def DegenTonhauser2022.instDecidableEqClassificationRow.decEq (x✝ x✝¹ : ClassificationRow) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2022.instDecidableEqClassificationRow.decEq { predicates := a } { predicates := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def DegenTonhauser2022.instReprClassificationRow.repr : ClassificationRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instReprClassificationRow : Repr ClassificationRow

Equations

• DegenTonhauser2022.instReprClassificationRow = { reprPrec := DegenTonhauser2022.instReprClassificationRow.repr }

def DegenTonhauser2022.classification : Category → ClassificationRow

The cells of (13), p. 559, by category; checked against the page images.

Equations

• One or more equations did not get rendered due to their size.
• DegenTonhauser2022.classification DegenTonhauser2022.Category.veridicalNonfactive = { predicates := [DegenTonhauser2022.Predicate.beRight, DegenTonhauser2022.Predicate.demonstrate] }

structure DegenTonhauser2022.CertaintyRow : Type

A row of Figures 2 and 4, pp. 562 and 565: the mean certainty rating of a predicate's complement, the speaker taken to be certain of it.

• mean : Data.Experiments.Decimal

  The mean rating.

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqCertaintyRow : DecidableEq CertaintyRow

Equations

• DegenTonhauser2022.instDecidableEqCertaintyRow = DegenTonhauser2022.instDecidableEqCertaintyRow.decEq

def DegenTonhauser2022.instDecidableEqCertaintyRow.decEq (x✝ x✝¹ : CertaintyRow) : Decidable (x✝ = x✝¹)

Equations

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

def DegenTonhauser2022.instReprCertaintyRow.repr : CertaintyRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instReprCertaintyRow : Repr CertaintyRow

Equations

• DegenTonhauser2022.instReprCertaintyRow = { reprPrec := DegenTonhauser2022.instReprCertaintyRow.repr }

def DegenTonhauser2022.certainty : Task → Predicate → CertaintyRow

The cells of Figures 2 and 4, pp. 562 and 565, by task and predicate; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.acknowledge = { mean := { mantissa := 72, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.admit = { mean := { mantissa := 66, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.announce = { mean := { mantissa := 58, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.beAnnoyed = { mean := { mantissa := 88, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.beRight = { mean := { mantissa := 18, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.confess = { mean := { mantissa := 64, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.confirm = { mean := { mantissa := 34, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.demonstrate = { mean := { mantissa := 49, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.discover = { mean := { mantissa := 78, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.establish = { mean := { mantissa := 36, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.hear = { mean := { mantissa := 75, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.inform = { mean := { mantissa := 81, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.know = { mean := { mantissa := 86, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.pretend = { mean := { mantissa := 15, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.prove = { mean := { mantissa := 30, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.reveal = { mean := { mantissa := 70, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.say = { mean := { mantissa := 24, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.see = { mean := { mantissa := 81, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.suggest = { mean := { mantissa := 22, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.gradient DegenTonhauser2022.Predicate.think = { mean := { mantissa := 20, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.acknowledge = { mean := { mantissa := 78, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.admit = { mean := { mantissa := 67, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.announce = { mean := { mantissa := 57, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.beAnnoyed = { mean := { mantissa := 92, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.beRight = { mean := { mantissa := 3, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.confess = { mean := { mantissa := 58, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.confirm = { mean := { mantissa := 16, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.demonstrate = { mean := { mantissa := 31, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.discover = { mean := { mantissa := 84, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.establish = { mean := { mantissa := 19, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.hear = { mean := { mantissa := 81, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.inform = { mean := { mantissa := 90, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.know = { mean := { mantissa := 93, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.pretend = { mean := { mantissa := 7, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.prove = { mean := { mantissa := 13, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.reveal = { mean := { mantissa := 69, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.say = { mean := { mantissa := 7, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.see = { mean := { mantissa := 86, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.suggest = { mean := { mantissa := 7, exponent := 2 } }
• DegenTonhauser2022.certainty DegenTonhauser2022.Task.categorical DegenTonhauser2022.Predicate.think = { mean := { mantissa := 4, exponent := 2 } }

structure DegenTonhauser2022.ProjectionResult : Type

A row of §2.1, p. 563; §2.2, pp. 564–565: the predicates whose mean certainty rating the regression did not distinguish from that of the main-clause controls, the 95% credible interval for the difference containing 0.

• indistinguishable : List Predicate

  The predicates.

def DegenTonhauser2022.instDecidableEqProjectionResult.decEq (x✝ x✝¹ : ProjectionResult) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2022.instDecidableEqProjectionResult.decEq { indistinguishable := a } { indistinguishable := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqProjectionResult : DecidableEq ProjectionResult

Equations

• DegenTonhauser2022.instDecidableEqProjectionResult = DegenTonhauser2022.instDecidableEqProjectionResult.decEq

def DegenTonhauser2022.instReprProjectionResult.repr : ProjectionResult → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instReprProjectionResult : Repr ProjectionResult

Equations

• DegenTonhauser2022.instReprProjectionResult = { reprPrec := DegenTonhauser2022.instReprProjectionResult.repr }

def DegenTonhauser2022.projectionResults : Task → ProjectionResult

The cells of §2.1, p. 563; §2.2, pp. 564–565, by task; checked against the page images.

Equations

• DegenTonhauser2022.projectionResults DegenTonhauser2022.Task.gradient = { indistinguishable := [] }
• DegenTonhauser2022.projectionResults DegenTonhauser2022.Task.categorical = { indistinguishable := [] }

structure DegenTonhauser2022.EntailmentResult : Type

A row of §3.1, p. 571; §3.2, p. 573; §3.3, p. 576; §3.4, p. 577: the predicates whose mean rating the regression did not distinguish from that of the controls with entailed content, the 95% credible interval for the difference containing 0.

• indistinguishable : List Predicate

  The predicates, in the paper's order.

def DegenTonhauser2022.instDecidableEqEntailmentResult.decEq (x✝ x✝¹ : EntailmentResult) : Decidable (x✝ = x✝¹)

Equations

• DegenTonhauser2022.instDecidableEqEntailmentResult.decEq { indistinguishable := a } { indistinguishable := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DegenTonhauser2022.instDecidableEqEntailmentResult : DecidableEq EntailmentResult

Equations

• DegenTonhauser2022.instDecidableEqEntailmentResult = DegenTonhauser2022.instDecidableEqEntailmentResult.decEq

def DegenTonhauser2022.instReprEntailmentResult.repr : EntailmentResult → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DegenTonhauser2022.instReprEntailmentResult : Repr EntailmentResult

Equations

• DegenTonhauser2022.instReprEntailmentResult = { reprPrec := DegenTonhauser2022.instReprEntailmentResult.repr }

def DegenTonhauser2022.entailmentResults : Diagnostic → Task → EntailmentResult

The cells of §3.1, p. 571; §3.2, p. 573; §3.3, p. 576; §3.4, p. 577, by diagnostic and task; checked against the page images.

Equations

• One or more equations did not get rendered due to their size.
• DegenTonhauser2022.entailmentResults DegenTonhauser2022.Diagnostic.contradictoriness DegenTonhauser2022.Task.gradient = { indistinguishable := [] }
• DegenTonhauser2022.entailmentResults DegenTonhauser2022.Diagnostic.contradictoriness DegenTonhauser2022.Task.categorical = { indistinguishable := [] }