VanTielEtAl2021: experimental results (generated)

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

The quantity words of the production study and their monotonicity. In Experiment 1, participants completed the frame '— of the circles are red' for displays of 432 red or black circles; the seventeen words modelled are the fifteen produced 50 times or more, together with 'all' and 'none'. In Experiment 2, 120 participants judged the validity of inferences from 'Q of the people P1' to 'Q of the people P2' and back, for predicate pairs in which P1 entails P2. A word was coded nonmonotone if neither inference was accepted more than half the time, and otherwise by whether it clustered with 'all' (monotone increasing) or with 'none' (monotone decreasing); no word was coded nonmonotone. The coding fixes whether the generalized-quantifier lexicon gives a word a lower or an upper threshold.

Raw data

• https://osf.io/hsytk/: the anonymized experimental data and the model code (DOI 10.17605/OSF.IO/HSYTK)

References

• [vTFS21]

inductive VanTielEtAl2021.Word : Type

A quantity word of the production study, in the order of Fig. 1A.

• none : Word

  none: included though rarely produced

• hardlyAny : Word

  hardly any: produced 50 times or more

• veryFew : Word

  very few: produced 50 times or more

• aFew : Word

  a few: produced 50 times or more

• few : Word

  few: produced 50 times or more

• lessThanHalf : Word

  less than half: produced 50 times or more

• some : Word

  some: produced 50 times or more

• several : Word

  several: produced 50 times or more

• half : Word

  half: produced 50 times or more

• aboutHalf : Word

  about half: produced 50 times or more

• many : Word

  many: produced 50 times or more

• moreThanHalf : Word

  more than half: produced 50 times or more

• aLot : Word

  a lot: produced 50 times or more

• majority : Word

  majority: produced 50 times or more, 'the majority' in the text

• most : Word

  most: produced 50 times or more

• almostAll : Word

  almost all: produced 50 times or more

• all : Word

  all: included though rarely produced

@[instance_reducible]

instance VanTielEtAl2021.instDecidableEqWord : DecidableEq Word

Equations

• VanTielEtAl2021.instDecidableEqWord x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def VanTielEtAl2021.instReprWord.repr : Word → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.none prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.none")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.aFew prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.aFew")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.few prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.few")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.some prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.some")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.half prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.half")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.many prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.many")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.aLot prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.aLot")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.most prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.most")).group prec✝
• VanTielEtAl2021.instReprWord.repr VanTielEtAl2021.Word.all prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "VanTielEtAl2021.Word.all")).group prec✝

@[instance_reducible]

instance VanTielEtAl2021.instReprWord : Repr Word

Equations

• VanTielEtAl2021.instReprWord = { reprPrec := VanTielEtAl2021.instReprWord.repr }

@[instance_reducible]

instance VanTielEtAl2021.instFintypeWord : Fintype Word

Equations

• VanTielEtAl2021.instFintypeWord = { elems := { val := ↑VanTielEtAl2021.Word.enumList, nodup := VanTielEtAl2021.Word.enumList_nodup }, complete := VanTielEtAl2021.instFintypeWord._proof_1 }

inductive VanTielEtAl2021.Monotonicity : Type

The monotonicity of a quantity word in its predicate, as Experiment 2 coded it.

• increasing : Monotonicity

  monotone increasing: clustering with 'all', licensing inferences from sets to supersets

• decreasing : Monotonicity

  monotone decreasing: clustering with 'none', licensing inferences from sets to subsets

@[instance_reducible]

instance VanTielEtAl2021.instDecidableEqMonotonicity : DecidableEq Monotonicity

Equations

• VanTielEtAl2021.instDecidableEqMonotonicity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance VanTielEtAl2021.instReprMonotonicity : Repr Monotonicity

Equations

• VanTielEtAl2021.instReprMonotonicity = { reprPrec := VanTielEtAl2021.instReprMonotonicity.repr }

def VanTielEtAl2021.instReprMonotonicity.repr : Monotonicity → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance VanTielEtAl2021.instFintypeMonotonicity : Fintype Monotonicity

Equations

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

structure VanTielEtAl2021.Classification : Type

A row of the section GQT Semantics, p. 3: the monotonicity Experiment 2 assigned a quantity word.

• monotonicity : Monotonicity

  Its monotonicity.

def VanTielEtAl2021.instDecidableEqClassification.decEq (x✝ x✝¹ : Classification) : Decidable (x✝ = x✝¹)

Equations

• VanTielEtAl2021.instDecidableEqClassification.decEq { monotonicity := a } { monotonicity := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance VanTielEtAl2021.instDecidableEqClassification : DecidableEq Classification

Equations

• VanTielEtAl2021.instDecidableEqClassification = VanTielEtAl2021.instDecidableEqClassification.decEq

def VanTielEtAl2021.instReprClassification.repr : Classification → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance VanTielEtAl2021.instReprClassification : Repr Classification

Equations

• VanTielEtAl2021.instReprClassification = { reprPrec := VanTielEtAl2021.instReprClassification.repr }

def VanTielEtAl2021.classification : Word → Classification

The cells of the section GQT Semantics, p. 3, by word; checked against the page images.

Equations

• VanTielEtAl2021.classification VanTielEtAl2021.Word.none = { monotonicity := VanTielEtAl2021.Monotonicity.decreasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.hardlyAny = { monotonicity := VanTielEtAl2021.Monotonicity.decreasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.veryFew = { monotonicity := VanTielEtAl2021.Monotonicity.decreasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.aFew = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.few = { monotonicity := VanTielEtAl2021.Monotonicity.decreasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.lessThanHalf = { monotonicity := VanTielEtAl2021.Monotonicity.decreasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.some = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.several = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.half = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.aboutHalf = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.many = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.moreThanHalf = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.aLot = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.majority = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.most = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.almostAll = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }
• VanTielEtAl2021.classification VanTielEtAl2021.Word.all = { monotonicity := VanTielEtAl2021.Monotonicity.increasing }