RosaArnold2017: experimental results (generated)

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

The pronoun rates of the three production experiments, an in-person event retelling, a sentence completion over the story materials, and a sentence completion with disconnected items, by the continued character's thematic role, its grammatical role, and whether the two characters share a gender, with the next-mention rating study over the Experiment 1 stimuli. Page numbers are those of the authors' accepted manuscript.

References

• [RA17]

inductive RosaArnold2017.Experiment : Type

The three production experiments.

• retelling : Experiment

  1: in-person event retelling

• completion : Experiment

  2: sentence completion over the story materials

• renamed : Experiment

  3: sentence completion with disconnected items

@[instance_reducible]

instance RosaArnold2017.instDecidableEqExperiment : DecidableEq Experiment

Equations

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

@[instance_reducible]

instance RosaArnold2017.instReprExperiment : Repr Experiment

Equations

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

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

Equations

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

@[instance_reducible]

instance RosaArnold2017.instFintypeExperiment : Fintype Experiment

Equations

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

inductive RosaArnold2017.Role : Type

The thematic role of the continued character.

• goal : Role

  goal: the goal of the transfer

• source : Role

  source: the source of the transfer

@[instance_reducible]

instance RosaArnold2017.instDecidableEqRole : DecidableEq Role

Equations

• RosaArnold2017.instDecidableEqRole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RosaArnold2017.instReprRole.repr : Role → ℕ → Std.Format

Equations

• RosaArnold2017.instReprRole.repr RosaArnold2017.Role.goal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RosaArnold2017.Role.goal")).group prec✝
• RosaArnold2017.instReprRole.repr RosaArnold2017.Role.source prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "RosaArnold2017.Role.source")).group prec✝

@[instance_reducible]

instance RosaArnold2017.instReprRole : Repr Role

Equations

• RosaArnold2017.instReprRole = { reprPrec := RosaArnold2017.instReprRole.repr }

@[instance_reducible]

instance RosaArnold2017.instFintypeRole : Fintype Role

Equations

• RosaArnold2017.instFintypeRole = { elems := { val := ↑RosaArnold2017.Role.enumList, nodup := RosaArnold2017.Role.enumList_nodup }, complete := RosaArnold2017.instFintypeRole._proof_1 }

inductive RosaArnold2017.Gram : Type

The grammatical role of the continued character in the prompt sentence.

• subject : Gram

  subject: the subject

• nonsubject : Gram

  nonsubject: a nonsubject

@[instance_reducible]

instance RosaArnold2017.instDecidableEqGram : DecidableEq Gram

Equations

• RosaArnold2017.instDecidableEqGram x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RosaArnold2017.instReprGram.repr : Gram → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RosaArnold2017.instReprGram : Repr Gram

Equations

• RosaArnold2017.instReprGram = { reprPrec := RosaArnold2017.instReprGram.repr }

@[instance_reducible]

instance RosaArnold2017.instFintypeGram : Fintype Gram

Equations

• RosaArnold2017.instFintypeGram = { elems := { val := ↑RosaArnold2017.Gram.enumList, nodup := RosaArnold2017.Gram.enumList_nodup }, complete := RosaArnold2017.instFintypeGram._proof_1 }

inductive RosaArnold2017.Gender : Type

Whether the two characters share a gender.

• same : Gender

  same-gender: the characters share a gender

• different : Gender

  different-gender: the characters differ in gender

@[instance_reducible]

instance RosaArnold2017.instDecidableEqGender : DecidableEq Gender

Equations

• RosaArnold2017.instDecidableEqGender x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RosaArnold2017.instReprGender : Repr Gender

Equations

• RosaArnold2017.instReprGender = { reprPrec := RosaArnold2017.instReprGender.repr }

def RosaArnold2017.instReprGender.repr : Gender → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RosaArnold2017.instFintypeGender : Fintype Gender

Equations

• RosaArnold2017.instFintypeGender = { elems := { val := ↑RosaArnold2017.Gender.enumList, nodup := RosaArnold2017.Gender.enumList_nodup }, complete := RosaArnold2017.instFintypeGender._proof_1 }

def RosaArnold2017.raters : ℕ

The participants of the next-mention rating study. (Rating studies, manuscript p. 20; checked against the page images.)

Equations

• RosaArnold2017.raters = 20

def RosaArnold2017.goalNextMention : ℕ

The percentage of choices of the goal as the character more likely to be talked about next. (Rating studies, manuscript p. 20; checked against the page images.)

Equations

• RosaArnold2017.goalNextMention = 71

def RosaArnold2017.subjectNextMention : ℕ

The percentage of choices of the subject as the character more likely to be talked about next. (Rating studies, manuscript p. 20; checked against the page images.)

Equations

• RosaArnold2017.subjectNextMention = 54

structure RosaArnold2017.Rate : Type

A row of Tables 1, 4 and 7 (manuscript pp. 25, 33, 38): the rate of pronoun production in a cell of an experiment.

• pronouns : ℕ

  The percentage of continuations with a pronoun, as printed.

def RosaArnold2017.instDecidableEqRate.decEq (x✝ x✝¹ : Rate) : Decidable (x✝ = x✝¹)

Equations

• RosaArnold2017.instDecidableEqRate.decEq { pronouns := a } { pronouns := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RosaArnold2017.instDecidableEqRate : DecidableEq Rate

Equations

• RosaArnold2017.instDecidableEqRate = RosaArnold2017.instDecidableEqRate.decEq

@[instance_reducible]

instance RosaArnold2017.instReprRate : Repr Rate

Equations

• RosaArnold2017.instReprRate = { reprPrec := RosaArnold2017.instReprRate.repr }

def RosaArnold2017.instReprRate.repr : Rate → ℕ → Std.Format

Equations

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

def RosaArnold2017.rates : Experiment → Gender → Gram → Role → Rate

The cells of Tables 1, 4 and 7 (manuscript pp. 25, 33, 38), by experiment and gender and gram and role; checked against the page images.

Equations

• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 64 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 37 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 31 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 18 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 59 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 22 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 23 }
• RosaArnold2017.rates RosaArnold2017.Experiment.retelling RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 15 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 83 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 78 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 55 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 33 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 69 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 69 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 18 }
• RosaArnold2017.rates RosaArnold2017.Experiment.completion RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 19 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 71 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.different RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 71 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 38 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.different RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 33 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.goal = { pronouns := 68 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.same RosaArnold2017.Gram.subject RosaArnold2017.Role.source = { pronouns := 64 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.goal = { pronouns := 33 }
• RosaArnold2017.rates RosaArnold2017.Experiment.renamed RosaArnold2017.Gender.same RosaArnold2017.Gram.nonsubject RosaArnold2017.Role.source = { pronouns := 10 }

structure RosaArnold2017.Overall : Type

A row of Tables 1 and 4 (manuscript pp. 25, 33): the overall rate of pronoun production for a thematic role.

• pronouns : Option ℕ

  The overall percentage; Table 7 prints none.

@[instance_reducible]

instance RosaArnold2017.instDecidableEqOverall : DecidableEq Overall

Equations

• RosaArnold2017.instDecidableEqOverall = RosaArnold2017.instDecidableEqOverall.decEq

def RosaArnold2017.instDecidableEqOverall.decEq (x✝ x✝¹ : Overall) : Decidable (x✝ = x✝¹)

Equations

• RosaArnold2017.instDecidableEqOverall.decEq { pronouns := a } { pronouns := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def RosaArnold2017.instReprOverall.repr : Overall → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance RosaArnold2017.instReprOverall : Repr Overall

Equations

• RosaArnold2017.instReprOverall = { reprPrec := RosaArnold2017.instReprOverall.repr }

def RosaArnold2017.overall : Experiment → Role → Overall

The cells of Tables 1 and 4 (manuscript pp. 25, 33), by experiment and role; checked against the page images.

Equations

• RosaArnold2017.overall RosaArnold2017.Experiment.retelling RosaArnold2017.Role.goal = { pronouns := some 43 }
• RosaArnold2017.overall RosaArnold2017.Experiment.retelling RosaArnold2017.Role.source = { pronouns := some 23 }
• RosaArnold2017.overall RosaArnold2017.Experiment.completion RosaArnold2017.Role.goal = { pronouns := some 63 }
• RosaArnold2017.overall RosaArnold2017.Experiment.completion RosaArnold2017.Role.source = { pronouns := some 51 }
• RosaArnold2017.overall RosaArnold2017.Experiment.renamed RosaArnold2017.Role.goal = { pronouns := none }
• RosaArnold2017.overall RosaArnold2017.Experiment.renamed RosaArnold2017.Role.source = { pronouns := none }