Chemla2009a: experimental results (generated)

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

Two inferential experiments on French sentences with a presupposition trigger (a definite description, a factive verb or a change-of-state predicate) in the scope or the restrictor of a quantifier, with the universal inference, that every individual of the domain satisfies the presupposition, as the conclusion to be judged. Experiment 1 collected binary judgments about the scope of 'each', 'no', 'less than 3', 'more than 3' and 'exactly 3' over a domain of 10 students; Experiment 2 collected graded judgments over a domain of 20 students for more quantifiers and for triggers in the restrictor. Per-quantifier results are printed only as bar charts (Figs. 4 and 7) and are not recorded; the text prints the pooled acceptance rates recorded here.

References

• [Che09a]

inductive Chemla2009a.Determiner : Type

A quantifier whose nuclear scope hosts the trigger in Experiment 1.

• each : Determiner

  each: 'each'

• no : Determiner

  no: 'no'

• lessThan3 : Determiner

  less than 3: 'less than 3'

• moreThan3 : Determiner

  more than 3: 'more than 3'

• exactly3 : Determiner

  exactly 3: 'exactly 3'

@[instance_reducible]

instance Chemla2009a.instDecidableEqDeterminer : DecidableEq Determiner

Equations

• Chemla2009a.instDecidableEqDeterminer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Chemla2009a.instReprDeterminer.repr : Determiner → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Chemla2009a.instReprDeterminer : Repr Determiner

Equations

• Chemla2009a.instReprDeterminer = { reprPrec := Chemla2009a.instReprDeterminer.repr }

@[instance_reducible]

instance Chemla2009a.instFintypeDeterminer : Fintype Determiner

Equations

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

inductive Chemla2009a.QuantifierGroup : Type

A group of the quantifiers whose scope hosts the trigger in Experiment 1.

• eachOrNo : QuantifierGroup

  each, no: 'each' and 'no'

• numeral : QuantifierGroup

  less than 3, more than 3, exactly 3: the numerical quantifiers 'less than 3', 'more than 3' and 'exactly 3'

@[instance_reducible]

instance Chemla2009a.instDecidableEqQuantifierGroup : DecidableEq QuantifierGroup

Equations

• Chemla2009a.instDecidableEqQuantifierGroup x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Chemla2009a.instReprQuantifierGroup.repr : QuantifierGroup → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Chemla2009a.instReprQuantifierGroup : Repr QuantifierGroup

Equations

• Chemla2009a.instReprQuantifierGroup = { reprPrec := Chemla2009a.instReprQuantifierGroup.repr }

@[instance_reducible]

instance Chemla2009a.instFintypeQuantifierGroup : Fintype QuantifierGroup

Equations

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

def Chemla2009a.domainSize : ℕ

The students in the domain of the quantifiers of Experiment 1, 'these 10 students'. (§2.1, Fig. 2, (25)–(29); checked against the PDF text layer only.)

Equations

• Chemla2009a.domainSize = 10

structure Chemla2009a.Experiment1Group : Type

A row of §2.3.4, p. 311: the group of quantifiers over which the results for a quantifier of Experiment 1 are pooled.

• group : QuantifierGroup

  The group that pools its results.

@[instance_reducible]

instance Chemla2009a.instDecidableEqExperiment1Group : DecidableEq Experiment1Group

Equations

• Chemla2009a.instDecidableEqExperiment1Group = Chemla2009a.instDecidableEqExperiment1Group.decEq

def Chemla2009a.instDecidableEqExperiment1Group.decEq (x✝ x✝¹ : Experiment1Group) : Decidable (x✝ = x✝¹)

Equations

• Chemla2009a.instDecidableEqExperiment1Group.decEq { group := a } { group := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Chemla2009a.instReprExperiment1Group : Repr Experiment1Group

Equations

• Chemla2009a.instReprExperiment1Group = { reprPrec := Chemla2009a.instReprExperiment1Group.repr }

def Chemla2009a.instReprExperiment1Group.repr : Experiment1Group → ℕ → Std.Format

Equations

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

def Chemla2009a.experiment1Groups : Determiner → Experiment1Group

The cells of §2.3.4, p. 311, by determiner; checked against the page images.

Equations

• Chemla2009a.experiment1Groups Chemla2009a.Determiner.each = { group := Chemla2009a.QuantifierGroup.eachOrNo }
• Chemla2009a.experiment1Groups Chemla2009a.Determiner.no = { group := Chemla2009a.QuantifierGroup.eachOrNo }
• Chemla2009a.experiment1Groups Chemla2009a.Determiner.lessThan3 = { group := Chemla2009a.QuantifierGroup.numeral }
• Chemla2009a.experiment1Groups Chemla2009a.Determiner.moreThan3 = { group := Chemla2009a.QuantifierGroup.numeral }
• Chemla2009a.experiment1Groups Chemla2009a.Determiner.exactly3 = { group := Chemla2009a.QuantifierGroup.numeral }

structure Chemla2009a.Experiment1Universal : Type

A row of §2.3.4, p. 311: the acceptance rate of the universal inference from a trigger in the scope of the quantifiers of a group in Experiment 1, pooled over the group; the difference between the groups is significant (F(1, 29) = 53.8, p < .05).

• group : QuantifierGroup

  The quantifiers whose scope hosts the trigger.

• acceptance : Data.Experiments.Decimal

  The acceptance rate of the universal inference, in percent.

def Chemla2009a.instDecidableEqExperiment1Universal.decEq (x✝ x✝¹ : Experiment1Universal) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Chemla2009a.instDecidableEqExperiment1Universal : DecidableEq Experiment1Universal

Equations

• Chemla2009a.instDecidableEqExperiment1Universal = Chemla2009a.instDecidableEqExperiment1Universal.decEq

@[instance_reducible]

instance Chemla2009a.instReprExperiment1Universal : Repr Experiment1Universal

Equations

• Chemla2009a.instReprExperiment1Universal = { reprPrec := Chemla2009a.instReprExperiment1Universal.repr }

def Chemla2009a.instReprExperiment1Universal.repr : Experiment1Universal → ℕ → Std.Format

Equations

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

def Chemla2009a.experiment1Universal : List Experiment1Universal

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

Equations

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