Khoo2015: experimental results (generated)

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

The experiment of section II: participants read a control vignette with a non-modal assertion and a modal vignette in which Smith says 'Fat Tony might be dead' while the participant knows him to be alive, and rated on a seven-point scale either whether what the speaker said is false or whether they would reject it with 'No, ...'. Footnote 13 prints the mean and standard deviation of each cell. The released survey has 31 participants in the False condition and 30 in the Rejection condition, 61 against the paper's sixty, which the t-tests' degrees of freedom (59 between the conditions, 30 within the False one) agree with.

Raw data

• https://semanticsarchive.net/Archive/Tc0NmIzY/: the survey export datamd.xlsx and the vignettes; footnote 13 is recomputed from its columns C1 false, C1 no, M false and M no

References

• [Kho15]

inductive Khoo2015.Sentence : Type

The vignette.

• control : Sentence

  Control: the non-modal assertion 'Jim is at home right now'

• modal : Sentence

  Modal: the might-claim 'Fat Tony might be dead'

@[instance_reducible]

instance Khoo2015.instDecidableEqSentence : DecidableEq Sentence

Equations

• Khoo2015.instDecidableEqSentence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Khoo2015.instReprSentence : Repr Sentence

Equations

• Khoo2015.instReprSentence = { reprPrec := Khoo2015.instReprSentence.repr }

def Khoo2015.instReprSentence.repr : Sentence → ℕ → Std.Format

Equations

• Khoo2015.instReprSentence.repr Khoo2015.Sentence.control prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Khoo2015.Sentence.control")).group prec✝
• Khoo2015.instReprSentence.repr Khoo2015.Sentence.modal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Khoo2015.Sentence.modal")).group prec✝

@[instance_reducible]

instance Khoo2015.instFintypeSentence : Fintype Sentence

Equations

• Khoo2015.instFintypeSentence = { elems := { val := ↑Khoo2015.Sentence.enumList, nodup := Khoo2015.Sentence.enumList_nodup }, complete := Khoo2015.instFintypeSentence._proof_1 }

inductive Khoo2015.Response : Type

The question the participant answered.

• judgedFalse : Response

  False: whether they agree that what the speaker said is false

• rejection : Response

  Rejection: whether they would respond 'No, ...'

@[instance_reducible]

instance Khoo2015.instDecidableEqResponse : DecidableEq Response

Equations

• Khoo2015.instDecidableEqResponse x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Khoo2015.instReprResponse.repr : Response → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• Khoo2015.instReprResponse.repr Khoo2015.Response.rejection prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Khoo2015.Response.rejection")).group prec✝

@[instance_reducible]

instance Khoo2015.instReprResponse : Repr Response

Equations

• Khoo2015.instReprResponse = { reprPrec := Khoo2015.instReprResponse.repr }

@[instance_reducible]

instance Khoo2015.instFintypeResponse : Fintype Response

Equations

• Khoo2015.instFintypeResponse = { elems := { val := ↑Khoo2015.Response.enumList, nodup := Khoo2015.Response.enumList_nodup }, complete := Khoo2015.instFintypeResponse._proof_1 }

def Khoo2015.midpoint : ℕ

The midpoint of the seven-point scale, labelled 'in between'. (section II.i, p. 519; checked against the PDF text layer only.)

Equations

• Khoo2015.midpoint = 4

structure Khoo2015.Rating : Type

A row of footnote 13, p. 520: the mean rating of a vignette under a question.

• mean : Data.Experiments.Decimal

  The mean rating on the seven-point scale.

• sd : Data.Experiments.Decimal

  The standard deviation.

def Khoo2015.instDecidableEqRating.decEq (x✝ x✝¹ : Rating) : Decidable (x✝ = x✝¹)

Equations

• Khoo2015.instDecidableEqRating.decEq { mean := a, sd := a_1 } { mean := b, sd := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance Khoo2015.instDecidableEqRating : DecidableEq Rating

Equations

• Khoo2015.instDecidableEqRating = Khoo2015.instDecidableEqRating.decEq

def Khoo2015.instReprRating.repr : Rating → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Khoo2015.instReprRating : Repr Rating

Equations

• Khoo2015.instReprRating = { reprPrec := Khoo2015.instReprRating.repr }

def Khoo2015.ratings : Sentence → Response → Rating

The cells of footnote 13, p. 520, by sentence and response; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• Khoo2015.ratings Khoo2015.Sentence.control Khoo2015.Response.judgedFalse = { mean := { mantissa := 610, exponent := 2 }, sd := { mantissa := 135, exponent := 2 } }
• Khoo2015.ratings Khoo2015.Sentence.control Khoo2015.Response.rejection = { mean := { mantissa := 560, exponent := 2 }, sd := { mantissa := 113, exponent := 2 } }
• Khoo2015.ratings Khoo2015.Sentence.modal Khoo2015.Response.judgedFalse = { mean := { mantissa := 242, exponent := 2 }, sd := { mantissa := 161, exponent := 2 } }
• Khoo2015.ratings Khoo2015.Sentence.modal Khoo2015.Response.rejection = { mean := { mantissa := 503, exponent := 2 }, sd := { mantissa := 177, exponent := 2 } }