KrizChemla2015: experimental results (generated)

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

Truth-value judgments of sentences with a plural definite, unembedded and in the scope of negation, all or every, no, and exactly two, against displays of nine symbols, or of four cells of nine symbols each (Experiments A0 to A3, B1 to B3), or against pictures of four boys with nine presents each (C2 to C4). Method A asks one group whether a sentence is completely true and another whether it is completely false; method B offers completely true, completely false and neither. A gap is diagnosed by three logistic mixed-effects comparisons of the target sentences (the) with the controls (all the).

References

• [KC15]

inductive KrizChemla2015.Experiment : Type

The experiment; method A asks one group whether a sentence is completely true and another whether it is completely false, method B offers completely true, completely false and neither.

• a0 : Experiment

  A0: Method A, unembedded.

• a1 : Experiment

  A1: Method A, unembedded and under negation.

• a2 : Experiment

  A2: Method A, under all and no.

• a3 : Experiment

  A3: Method A, under all and exactly.

• b1 : Experiment

  B1: Method B, unembedded and under negation.

• b2 : Experiment

  B2: Method B, under all and no.

• b3 : Experiment

  B3: Method B, under all and exactly.

• c2 : Experiment

  C2: Presents pictures, under every and no.

• c3 : Experiment

  C3: Presents pictures, under all and exactly, with GAP?.

• c4 : Experiment

  C4: Presents pictures, under all and exactly, with GAP??.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprExperiment : Repr Experiment

Equations

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

@[instance_reducible]

instance KrizChemla2015.instFintypeExperiment : Fintype Experiment

Equations

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

inductive KrizChemla2015.Embedding : Type

The environment the plural definite is embedded in.

• unembedded : Embedding

  E-∅: The definite is unembedded, (11): 'The triangles are blue'.

• negation : Embedding

  E-neg: The definite is under sentential negation: 'The triangles are not blue'.

• all : Embedding

  E-all: The definite is in the scope of all, (12), or every, (19): 'In all the cells, the symbols are green', 'Every boy found his presents'.

• no : Embedding

  E-no: The definite is in the scope of no, (13), (20): 'No boy found his presents'.

• exactly : Embedding

  E-exactly: The definite is in the scope of exactly two, (17), (24): 'Exactly 2 of the 4 boys found their presents'.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqEmbedding : DecidableEq Embedding

Equations

• KrizChemla2015.instDecidableEqEmbedding x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KrizChemla2015.instReprEmbedding : Repr Embedding

Equations

• KrizChemla2015.instReprEmbedding = { reprPrec := KrizChemla2015.instReprEmbedding.repr }

def KrizChemla2015.instReprEmbedding.repr : Embedding → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instFintypeEmbedding : Fintype Embedding

Equations

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

inductive KrizChemla2015.Condition : Type

The situation type a display realizes for its sentence.

• clearlyTrue : Condition

  TRUE: The sentence is designed to be true.

• clearlyFalse : Condition

  FALSE: The sentence is designed to be false.

• gap : Condition

  GAP: The variants with some and with all in place of the definite differ.

• gapQ : Condition

  GAP?: Under exactly n, more than n cells contain target symbols and fewer than n contain only target symbols.

• gapQQ : Condition

  GAP??: Under exactly n, exactly n cells contain only target symbols and another contains some.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqCondition : DecidableEq Condition

Equations

• KrizChemla2015.instDecidableEqCondition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KrizChemla2015.instReprCondition.repr : Condition → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprCondition : Repr Condition

Equations

• KrizChemla2015.instReprCondition = { reprPrec := KrizChemla2015.instReprCondition.repr }

@[instance_reducible]

instance KrizChemla2015.instFintypeCondition : Fintype Condition

Equations

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

inductive KrizChemla2015.ItemStatus : Type

How Table 13 marks an item.

• used : ItemStatus

  unmarked: The item was used as listed.

• faulty : ItemStatus

  round brackets: The item was faulty in Experiments A2 and B2 and excluded from the analysis.

• replacement : ItemStatus

  square brackets: The item replaced a faulty one in Experiment C2.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqItemStatus : DecidableEq ItemStatus

Equations

• KrizChemla2015.instDecidableEqItemStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KrizChemla2015.instReprItemStatus.repr : ItemStatus → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprItemStatus : Repr ItemStatus

Equations

• KrizChemla2015.instReprItemStatus = { reprPrec := KrizChemla2015.instReprItemStatus.repr }

@[instance_reducible]

instance KrizChemla2015.instFintypeItemStatus : Fintype ItemStatus

Equations

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

inductive KrizChemla2015.Found : Type

Whether evidence for a gap was found.

• yes : Found

  yes: Table 2 frames the cell, Table 12 prints yes.

• no : Found

  no: Table 2 leaves the cell unframed, Table 12 prints no.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqFound : DecidableEq Found

Equations

• KrizChemla2015.instDecidableEqFound x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KrizChemla2015.instReprFound.repr : Found → ℕ → Std.Format

Equations

• KrizChemla2015.instReprFound.repr KrizChemla2015.Found.yes prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "KrizChemla2015.Found.yes")).group prec✝
• KrizChemla2015.instReprFound.repr KrizChemla2015.Found.no prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "KrizChemla2015.Found.no")).group prec✝

@[instance_reducible]

instance KrizChemla2015.instReprFound : Repr Found

Equations

• KrizChemla2015.instReprFound = { reprPrec := KrizChemla2015.instReprFound.repr }

@[instance_reducible]

instance KrizChemla2015.instFintypeFound : Fintype Found

Equations

• KrizChemla2015.instFintypeFound = { elems := { val := ↑KrizChemla2015.Found.enumList, nodup := KrizChemla2015.Found.enumList_nodup }, complete := KrizChemla2015.instFintypeFound._proof_1 }

inductive KrizChemla2015.Bound : Type

How a p-value is printed.

• below : Bound

  <: As an upper bound.

• exact : Bound

  =: As a value, in the tables without a relation sign.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqBound : DecidableEq Bound

Equations

• KrizChemla2015.instDecidableEqBound x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KrizChemla2015.instReprBound : Repr Bound

Equations

• KrizChemla2015.instReprBound = { reprPrec := KrizChemla2015.instReprBound.repr }

def KrizChemla2015.instReprBound.repr : Bound → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instFintypeBound : Fintype Bound

Equations

• KrizChemla2015.instFintypeBound = { elems := { val := ↑KrizChemla2015.Bound.enumList, nodup := KrizChemla2015.Bound.enumList_nodup }, complete := KrizChemla2015.instFintypeBound._proof_1 }

inductive KrizChemla2015.Share : Type

How many of their students a teacher likes in a situation of Table 12.

• all : Share

  all: All of them.

• half : Share

  half: Half of them.

• none : Share

  none: None of them.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqShare : DecidableEq Share

Equations

• KrizChemla2015.instDecidableEqShare x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KrizChemla2015.instReprShare.repr : Share → ℕ → Std.Format

Equations

• KrizChemla2015.instReprShare.repr KrizChemla2015.Share.all prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "KrizChemla2015.Share.all")).group prec✝
• KrizChemla2015.instReprShare.repr KrizChemla2015.Share.half prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "KrizChemla2015.Share.half")).group prec✝
• KrizChemla2015.instReprShare.repr KrizChemla2015.Share.none prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "KrizChemla2015.Share.none")).group prec✝

@[instance_reducible]

instance KrizChemla2015.instReprShare : Repr Share

Equations

• KrizChemla2015.instReprShare = { reprPrec := KrizChemla2015.instReprShare.repr }

@[instance_reducible]

instance KrizChemla2015.instFintypeShare : Fintype Share

Equations

• KrizChemla2015.instFintypeShare = { elems := { val := ↑KrizChemla2015.Share.enumList, nodup := KrizChemla2015.Share.enumList_nodup }, complete := KrizChemla2015.instFintypeShare._proof_1 }

def KrizChemla2015.symbols : ℕ

The symbols in a cell, or the presents of a boy. (§2.1.2, §5.2.2; checked against the page images.)

Equations

• KrizChemla2015.symbols = 9

def KrizChemla2015.cells : ℕ

The cells of an embedded display, or the boys of a picture. (§3.2.2, (24); checked against the page images.)

Equations

• KrizChemla2015.cells = 4

def KrizChemla2015.numeral : ℕ

The numeral of the E-exactly sentences. ((17), (24); checked against the page images.)

Equations

• KrizChemla2015.numeral = 2

structure KrizChemla2015.GapTest : Type

A row of Table 2: each experiment's test of a gap condition and whether it found evidence for a gap, the framed cells of Table 2.

• experiment : Experiment

  The experiment.

• embedding : Embedding

  The environment.

• condition : Condition

  The gap condition.

• found : Found

  Whether the cell is framed.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqGapTest : DecidableEq GapTest

Equations

• KrizChemla2015.instDecidableEqGapTest = KrizChemla2015.instDecidableEqGapTest.decEq

def KrizChemla2015.instDecidableEqGapTest.decEq (x✝ x✝¹ : GapTest) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprGapTest : Repr GapTest

Equations

• KrizChemla2015.instReprGapTest = { reprPrec := KrizChemla2015.instReprGapTest.repr }

def KrizChemla2015.instReprGapTest.repr : GapTest → ℕ → Std.Format

Equations

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

def KrizChemla2015.gapTests : List GapTest

The 27 rows of Table 2, in the paper's order; checked against the page images.

Equations

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

structure KrizChemla2015.Item : Type

A row of Table 13: the target displays of each environment and condition, a display giving for each cell how many of its nine symbols have the target color. E-neg used the E-∅ displays and E-every (Experiment C2) the E-all ones.

• embedding : Embedding

  The environment.

• condition : Condition

  The condition.

• cells : List ℕ

  The target-color count of each cell.

• status : ItemStatus

  How the item is marked.

def KrizChemla2015.instDecidableEqItem.decEq (x✝ x✝¹ : Item) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KrizChemla2015.instDecidableEqItem : DecidableEq Item

Equations

• KrizChemla2015.instDecidableEqItem = KrizChemla2015.instDecidableEqItem.decEq

def KrizChemla2015.instReprItem.repr : Item → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprItem : Repr Item

Equations

• KrizChemla2015.instReprItem = { reprPrec := KrizChemla2015.instReprItem.repr }

def KrizChemla2015.items : List Item

The 65 rows of Table 13, in the paper's order; checked against the page images.

Equations

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

structure KrizChemla2015.Diagnostic : Type

A row of §2.1.6, Tables 3–11: the three statistical diagnostics of a gap for each environment and gap condition of an experiment, the coefficient, the χ² statistic and the p-value as printed, as a decimal or as a power of ten.

• experiment : Experiment

  The experiment.

• embedding : Embedding

  The environment.

• condition : Condition

  The gap condition.

• diagnostic : ℕ

  The diagnostic, 1 to 3.

• beta : Data.Experiments.Decimal

  The coefficient β.

• chiSq : Data.Experiments.Decimal

  The χ² statistic.

• bound : Bound

  How the p-value is printed.

• p : Option Data.Experiments.Decimal

  The p-value, when printed as a decimal.

• pPowerOfTen : Option ℤ

  The exponent of the p-value, when printed as a power of ten.

@[instance_reducible]

instance KrizChemla2015.instDecidableEqDiagnostic : DecidableEq Diagnostic

Equations

• KrizChemla2015.instDecidableEqDiagnostic = KrizChemla2015.instDecidableEqDiagnostic.decEq

def KrizChemla2015.instDecidableEqDiagnostic.decEq (x✝ x✝¹ : Diagnostic) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprDiagnostic : Repr Diagnostic

Equations

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

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

Equations

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

def KrizChemla2015.diagnostics : List Diagnostic

The 81 rows of §2.1.6, Tables 3–11, in the paper's order; checked against the page images.

Equations

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

structure KrizChemla2015.Situation : Type

A row of Table 12: the situations of the theoretical comparison for 'Exactly 2 teachers like their students', how many of their students Bill, Mary and Sue like, the condition each corresponds to and whether a gap was found there. The truth values of the parses and the construals' predictions it also prints are derived in the study.

• bill : Share

  Bill's share.

• mary : Share

  Mary's share.

• sue : Share

  Sue's share.

• condition : Condition

  The corresponding condition.

• found : Found

  Whether a gap was found.

def KrizChemla2015.instDecidableEqSituation.decEq (x✝ x✝¹ : Situation) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KrizChemla2015.instDecidableEqSituation : DecidableEq Situation

Equations

• KrizChemla2015.instDecidableEqSituation = KrizChemla2015.instDecidableEqSituation.decEq

def KrizChemla2015.instReprSituation.repr : Situation → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KrizChemla2015.instReprSituation : Repr Situation

Equations

• KrizChemla2015.instReprSituation = { reprPrec := KrizChemla2015.instReprSituation.repr }

def KrizChemla2015.situations : List Situation

The 6 rows of Table 12, in the paper's order; checked against the page images.

Equations

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