ChemlaSchlenker2012: experimental results (generated) #
Auto-generated from Linglib/Data/Experiments/ChemlaSchlenker2012.json by
scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.
Five experiments on French sentences with the anaphoric trigger aussi ('too') in if-, or- and unless-sentences, in the canonical order, where the clause that can satisfy the presupposition precedes the trigger, and the inverse order, where it follows. Experiments 1 and 4 collected inferential judgments, rating on a continuous scale from no to yes whether the conditional or the unconditional presupposition follows from a sentence; Experiments 2, 3 and 5 collected acceptability judgments, with control sentences for local accommodation with too and with the, a justified presupposition and no presupposition. Experiments 1 and 2 were run on one group of participants, 3 and 4 on a second, and 5, with complex fillers, on a third (Table 3). The tables print means and, for the inferential experiments, one-way ANOVAs comparing the two inferences; standard errors are shown only as error bars and are not recorded.
References #
The connective of a target sentence (§2.5, (48)–(49)).
- ifSentence : Construction
if: a conditional, 'if p, qq'' or 'if not qq', not p'
- orSentence : Construction
or: a disjunction, '(not p) or qq'' or 'qq' or (not p)'
- unlessSentence : Construction
unless: an unless-sentence, 'unless qq', not p'; only the inverse order was tested
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqConstruction x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- ChemlaSchlenker2012.instDecidableEqOrder x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- ChemlaSchlenker2012.instReprOrder = { reprPrec := ChemlaSchlenker2012.instReprOrder.repr }
Equations
- One or more equations did not get rendered due to their size.
Equations
- ChemlaSchlenker2012.instDecidableEqInference x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
The control sentences of the acceptability judgment tasks ((57)–(60)).
- localAccommodationToo : Control
(57) local accommodation too: a negated too-sentence whose presupposition must be accommodated locally
- justifiedPresupposition : Control
(58) justified presupposition: a too-sentence whose presupposition is satisfied by the preceding sentence
- nonPresuppositional : Control
(59) non presuppositional: the sentence without a trigger
- localAccommodationThe : Control
(60) local accommodation the: a negated definite description whose presupposition must be accommodated locally
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqControl x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- ChemlaSchlenker2012.instReprControl = { reprPrec := ChemlaSchlenker2012.instReprControl.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
How the paper prints a p-value.
- lt : PComparison
<: as an upper bound
- eq : PComparison
=: as a value
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqPComparison x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
The participants of Experiments 1 and 2. (§3.1.1.1, p. 202; checked against the PDF text layer only.)
Equations
Instances For
The participants of Experiments 3 and 4. (§3.3.1.1, p. 210; checked against the PDF text layer only.)
Equations
Instances For
The participants of Experiment 5. (§3.4.1.1, p. 213; checked against the page images.)
Equations
Instances For
A row of Table 4, p. 206: the mean rating of an inference drawn from a target sentence in Experiment 1.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- inference : Inference
The inference whose robustness is rated.
- mean : Data.Experiments.Decimal
The mean rating, normalized per participant, as a percentage of the scale from no to yes.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The 10 rows of Table 4, p. 206, 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
A row of Table 4, p. 206: the one-way ANOVA comparing the two inferences from a target sentence in Experiment 1.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- dfError : ℕ
The error degrees of freedom of the one-way ANOVA F(1, dfError).
The F statistic.
- pComparison : PComparison
Whether the paper prints the p-value as an equality or an upper bound.
The printed p-value or its bound.
- eta2 : Data.Experiments.Decimal
The partial eta squared.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The 5 rows of Table 4, p. 206, 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
A row of Table 5, p. 209: the mean acceptability of a target sentence in Experiment 2.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The 5 rows of Table 5, p. 209, 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
A row of Table 5, p. 209: the mean acceptability of a control sentence in Experiment 2.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqExperiment2Control.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The cells of Table 5, p. 209, by control; checked against the page images.
Equations
- ChemlaSchlenker2012.experiment2Controls ChemlaSchlenker2012.Control.localAccommodationToo = { mean := { mantissa := 32, exponent := 0 } }
- ChemlaSchlenker2012.experiment2Controls ChemlaSchlenker2012.Control.justifiedPresupposition = { mean := { mantissa := 80, exponent := 0 } }
- ChemlaSchlenker2012.experiment2Controls ChemlaSchlenker2012.Control.nonPresuppositional = { mean := { mantissa := 71, exponent := 0 } }
- ChemlaSchlenker2012.experiment2Controls ChemlaSchlenker2012.Control.localAccommodationThe = { mean := { mantissa := 54, exponent := 0 } }
Instances For
A row of Table 6, p. 211: the mean acceptability of a target sentence in Experiment 3.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The 5 rows of Table 6, p. 211, 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
A row of Table 6, p. 211: the mean acceptability of a control sentence in Experiment 3.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqExperiment3Control.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The cells of Table 6, p. 211, by control; checked against the page images.
Equations
- ChemlaSchlenker2012.experiment3Controls ChemlaSchlenker2012.Control.localAccommodationToo = { mean := { mantissa := 28, exponent := 0 } }
- ChemlaSchlenker2012.experiment3Controls ChemlaSchlenker2012.Control.justifiedPresupposition = { mean := { mantissa := 80, exponent := 0 } }
- ChemlaSchlenker2012.experiment3Controls ChemlaSchlenker2012.Control.nonPresuppositional = { mean := { mantissa := 78, exponent := 0 } }
- ChemlaSchlenker2012.experiment3Controls ChemlaSchlenker2012.Control.localAccommodationThe = { mean := { mantissa := 77, exponent := 0 } }
Instances For
A row of Table 7, p. 212: the mean rating of an inference drawn from a target sentence in Experiment 4.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- inference : Inference
The inference whose robustness is rated.
- mean : Data.Experiments.Decimal
The mean rating, normalized per participant, as a percentage of the scale from no to yes.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The 10 rows of Table 7, p. 212, 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
A row of Table 7, p. 212: the one-way ANOVA comparing the two inferences from a target sentence in Experiment 4.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- dfError : ℕ
The error degrees of freedom of the one-way ANOVA F(1, dfError).
The F statistic.
- pComparison : PComparison
Whether the paper prints the p-value as an equality or an upper bound.
The printed p-value or its bound.
- eta2 : Data.Experiments.Decimal
The partial eta squared.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The 5 rows of Table 7, p. 212, 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
A row of Table 8, p. 214: the mean acceptability of a target sentence in Experiment 5.
- construction : Construction
The connective of the target sentence.
- order : Order
The order of the trigger and the filtering clause.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The 5 rows of Table 8, p. 214, 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
A row of Table 8, p. 214: the mean acceptability of a control sentence in Experiment 5.
- mean : Data.Experiments.Decimal
The mean acceptability rating, as a percentage of the scale.
Instances For
Equations
- ChemlaSchlenker2012.instDecidableEqExperiment5Control.decEq { mean := a } { mean := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The cells of Table 8, p. 214, by control; checked against the page images.
Equations
- ChemlaSchlenker2012.experiment5Controls ChemlaSchlenker2012.Control.localAccommodationToo = { mean := { mantissa := 45, exponent := 0 } }
- ChemlaSchlenker2012.experiment5Controls ChemlaSchlenker2012.Control.justifiedPresupposition = { mean := { mantissa := 78, exponent := 0 } }
- ChemlaSchlenker2012.experiment5Controls ChemlaSchlenker2012.Control.nonPresuppositional = { mean := { mantissa := 83, exponent := 0 } }
- ChemlaSchlenker2012.experiment5Controls ChemlaSchlenker2012.Control.localAccommodationThe = { mean := { mantissa := 77, exponent := 0 } }