KursatDegen2021: experimental results (generated)

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

Three experiments on redundant colour and material adjectives. In Exp. 1 participants judged in a timed forced choice whether a colour or material adjective held of an image, for 81 images of 12 objects. In Exp. 2, an interactive reference game, a speaker described a target among four objects of one kind; on a critical trial colour or material was redundant, the competitor sharing the redundant property with the target and the two distractors sharing the sufficient property with the competitor. In Exp. 3 participants judged descriptions such as '2 green objects' against the displays of Exp. 2. The statistics are fixed effects of mixed-effects regressions, printed in the running text. The proportions of the bar plots are not printed and are not recorded.

Raw data

• https://github.com/leylakursat/perceptual_difficulty: materials, data and analysis files for the three experiments, as the paper states; the repository was public when checked (2026-10-11)

References

• [KD21]

inductive KursatDegen2021.Norming : Type

The experiments that measure how hard a property is to verify.

• exp1 : Norming

  Exp. 1: an adjective judged against a single image

• exp3 : Norming

  Exp. 3: a description judged against a four-object display of the production experiment

@[instance_reducible]

instance KursatDegen2021.instDecidableEqNorming : DecidableEq Norming

Equations

• KursatDegen2021.instDecidableEqNorming x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KursatDegen2021.instReprNorming : Repr Norming

Equations

• KursatDegen2021.instReprNorming = { reprPrec := KursatDegen2021.instReprNorming.repr }

def KursatDegen2021.instReprNorming.repr : Norming → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KursatDegen2021.instFintypeNorming : Fintype Norming

Equations

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

inductive KursatDegen2021.DifficultyMeasure : Type

The measures of perceptual difficulty.

• error : DifficultyMeasure

  error: the log odds of an incorrect response, in a logistic regression

• responseTime : DifficultyMeasure

  response time: the log-transformed response time of a correct response, in a linear regression

@[instance_reducible]

instance KursatDegen2021.instDecidableEqDifficultyMeasure : DecidableEq DifficultyMeasure

Equations

• KursatDegen2021.instDecidableEqDifficultyMeasure x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KursatDegen2021.instReprDifficultyMeasure.repr : DifficultyMeasure → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KursatDegen2021.instReprDifficultyMeasure : Repr DifficultyMeasure

Equations

• KursatDegen2021.instReprDifficultyMeasure = { reprPrec := KursatDegen2021.instReprDifficultyMeasure.repr }

@[instance_reducible]

instance KursatDegen2021.instFintypeDifficultyMeasure : Fintype DifficultyMeasure

Equations

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

inductive KursatDegen2021.Predictor : Type

The predictors of redundant adjective use in Exp. 2, in logistic regressions.

• redundantProperty : Predictor

  redundant property: which property is redundant, in the analysis of Exp. 2

• propertyType : Predictor

  property type: the property type, mean-centred, in the analysis with the response times of Exp. 3

• difficulty : Predictor

  perceptual difficulty: the log response time of Exp. 3 residualized on property type, in the same analysis

• interaction : Predictor

  interaction: property type by perceptual difficulty, in the same analysis

• logRatio : Predictor

  log ratio: the log ratio of the mean response time for the sufficient property to that for the redundant property, residualized on property type, in a second analysis

@[instance_reducible]

instance KursatDegen2021.instDecidableEqPredictor : DecidableEq Predictor

Equations

• KursatDegen2021.instDecidableEqPredictor x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KursatDegen2021.instReprPredictor : Repr Predictor

Equations

• KursatDegen2021.instReprPredictor = { reprPrec := KursatDegen2021.instReprPredictor.repr }

def KursatDegen2021.instReprPredictor.repr : Predictor → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KursatDegen2021.instFintypePredictor : Fintype Predictor

Equations

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

inductive KursatDegen2021.Bound : Type

How a p-value is printed.

• below : Bound

  <: as an upper bound

• exact : Bound

  =: as a value

@[instance_reducible]

instance KursatDegen2021.instDecidableEqBound : DecidableEq Bound

Equations

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

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

Equations

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

@[instance_reducible]

instance KursatDegen2021.instReprBound : Repr Bound

Equations

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

@[instance_reducible]

instance KursatDegen2021.instFintypeBound : Fintype Bound

Equations

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

structure KursatDegen2021.Verification : Type

A row of §2.3 and §4.3, pp. 679 and 683: the effect of material against colour, the reference level, on a measure of perceptual difficulty in a norming experiment.

• beta : Data.Experiments.Decimal

  The coefficient.

• se : Data.Experiments.Decimal

  The standard error.

• t : Option Data.Experiments.Decimal

  The t statistic, printed for the linear regressions.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

def KursatDegen2021.instDecidableEqVerification.decEq (x✝ x✝¹ : Verification) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KursatDegen2021.instDecidableEqVerification : DecidableEq Verification

Equations

• KursatDegen2021.instDecidableEqVerification = KursatDegen2021.instDecidableEqVerification.decEq

def KursatDegen2021.instReprVerification.repr : Verification → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KursatDegen2021.instReprVerification : Repr Verification

Equations

• KursatDegen2021.instReprVerification = { reprPrec := KursatDegen2021.instReprVerification.repr }

def KursatDegen2021.verification : Norming → DifficultyMeasure → Verification

The cells of §2.3 and §4.3, pp. 679 and 683, by experiment and measure; checked against the page images.

Equations

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

structure KursatDegen2021.RedundantUse : Type

A row of §3.3 and §4.3, pp. 681–684: the effect of a predictor on the log odds that the speaker of Exp. 2 mentions the redundant property.

• beta : Data.Experiments.Decimal

  The coefficient.

• se : Data.Experiments.Decimal

  The standard error.

• bound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

@[instance_reducible]

instance KursatDegen2021.instDecidableEqRedundantUse : DecidableEq RedundantUse

Equations

• KursatDegen2021.instDecidableEqRedundantUse = KursatDegen2021.instDecidableEqRedundantUse.decEq

def KursatDegen2021.instDecidableEqRedundantUse.decEq (x✝ x✝¹ : RedundantUse) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KursatDegen2021.instReprRedundantUse : Repr RedundantUse

Equations

• KursatDegen2021.instReprRedundantUse = { reprPrec := KursatDegen2021.instReprRedundantUse.repr }

def KursatDegen2021.instReprRedundantUse.repr : RedundantUse → ℕ → Std.Format

Equations

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

def KursatDegen2021.redundantUse : Predictor → RedundantUse

The cells of §3.3 and §4.3, pp. 681–684, by predictor; checked against the page images.

Equations

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