KehlerRohde2013: experimental results (generated)

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

The passage-completion results the paper synthesizes from the authors' earlier experiments: an aspect manipulation, an instruction manipulation, a prompt manipulation and a voice manipulation, each reporting proportions of Source interpretations, coherence relations, next mentions or pronominalized references. Proportions are printed to two places; the paper prints the Violated Expectation relation as Violated Exp in Tables 3, 4 and 6. The first-mention rates of the prompt manipulation are printed in the text, not in a table.

References

• [KR13]

inductive KehlerRohde2013.Aspect : Type

The aspect of the context sentence, (7) against (8).

• perfective : Aspect

  Perfective: John passed a comic to Bill

• imperfective : Aspect

  Imperfective: John was passing a comic to Bill

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqAspect : DecidableEq Aspect

Equations

• KehlerRohde2013.instDecidableEqAspect x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprAspect.repr : Aspect → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprAspect : Repr Aspect

Equations

• KehlerRohde2013.instReprAspect = { reprPrec := KehlerRohde2013.instReprAspect.repr }

@[instance_reducible]

instance KehlerRohde2013.instFintypeAspect : Fintype Aspect

Equations

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

inductive KehlerRohde2013.Relation : Type

The five most common coherence relations of the continuations.

• occasion : Relation

  Occasion: the continuation follows on the end state

• elaboration : Relation

  Elaboration: the continuation redescribes the eventuality

• explanation : Relation

  Explanation: the continuation gives a cause

• violatedExpectation : Relation

  Violated Expectation: the continuation runs against an expectation

• result : Relation

  Result: the continuation gives an effect

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqRelation : DecidableEq Relation

Equations

• KehlerRohde2013.instDecidableEqRelation x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instReprRelation : Repr Relation

Equations

• KehlerRohde2013.instReprRelation = { reprPrec := KehlerRohde2013.instReprRelation.repr }

def KehlerRohde2013.instReprRelation.repr : Relation → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instFintypeRelation : Fintype Relation

Equations

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

inductive KehlerRohde2013.Instruction : Type

The instruction of the instruction manipulation.

• whatNext : Instruction

  What next?: What happened next?

• why : Instruction

  Why?: Why?

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqInstruction : DecidableEq Instruction

Equations

• KehlerRohde2013.instDecidableEqInstruction x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instReprInstruction : Repr Instruction

Equations

• KehlerRohde2013.instReprInstruction = { reprPrec := KehlerRohde2013.instReprInstruction.repr }

def KehlerRohde2013.instReprInstruction.repr : Instruction → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instFintypeInstruction : Fintype Instruction

Equations

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

inductive KehlerRohde2013.Prompt : Type

Whether the prompt supplies a pronoun, (10a) against (10b).

• pronoun : Prompt

  Pronoun: the prompt ends in He

• noPronoun : Prompt

  No Pronoun: the prompt ends after the context sentence

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqPrompt : DecidableEq Prompt

Equations

• KehlerRohde2013.instDecidableEqPrompt x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprPrompt.repr : Prompt → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprPrompt : Repr Prompt

Equations

• KehlerRohde2013.instReprPrompt = { reprPrec := KehlerRohde2013.instReprPrompt.repr }

@[instance_reducible]

instance KehlerRohde2013.instFintypePrompt : Fintype Prompt

Equations

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

inductive KehlerRohde2013.Voice : Type

The voice of the context sentence of the voice manipulation, (20).

• active : Voice

  Active: Amanda amazed Brittany

• passive : Voice

  Passive: Brittany was amazed by Amanda

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqVoice : DecidableEq Voice

Equations

• KehlerRohde2013.instDecidableEqVoice x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprVoice.repr : Voice → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprVoice : Repr Voice

Equations

• KehlerRohde2013.instReprVoice = { reprPrec := KehlerRohde2013.instReprVoice.repr }

@[instance_reducible]

instance KehlerRohde2013.instFintypeVoice : Fintype Voice

Equations

• KehlerRohde2013.instFintypeVoice = { elems := { val := ↑KehlerRohde2013.Voice.enumList, nodup := KehlerRohde2013.Voice.enumList_nodup }, complete := KehlerRohde2013.instFintypeVoice._proof_1 }

inductive KehlerRohde2013.Position : Type

The grammatical position of the referent in the context sentence.

• subject : Position

  Surface Subject: the subject

• nonSubject : Position

  Surface Non-Subject: the non-subject

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqPosition : DecidableEq Position

Equations

• KehlerRohde2013.instDecidableEqPosition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprPosition.repr : Position → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprPosition : Repr Position

Equations

• KehlerRohde2013.instReprPosition = { reprPrec := KehlerRohde2013.instReprPosition.repr }

@[instance_reducible]

instance KehlerRohde2013.instFintypePosition : Fintype Position

Equations

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

structure KehlerRohde2013.AspectSource : Type

A row of Table 1, p. 10: the proportion of Source interpretations by aspect.

• sourceInterpretation : Data.Experiments.Decimal

  The proportion of Source interpretations.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqAspectSource : DecidableEq AspectSource

Equations

• KehlerRohde2013.instDecidableEqAspectSource = KehlerRohde2013.instDecidableEqAspectSource.decEq

def KehlerRohde2013.instDecidableEqAspectSource.decEq (x✝ x✝¹ : AspectSource) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqAspectSource.decEq { sourceInterpretation := a } { sourceInterpretation := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprAspectSource.repr : AspectSource → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprAspectSource : Repr AspectSource

Equations

• KehlerRohde2013.instReprAspectSource = { reprPrec := KehlerRohde2013.instReprAspectSource.repr }

def KehlerRohde2013.sourceByAspect : Aspect → AspectSource

The cells of Table 1, p. 10, by aspect; checked against the page images.

Equations

• KehlerRohde2013.sourceByAspect KehlerRohde2013.Aspect.perfective = { sourceInterpretation := { mantissa := 57, exponent := 2 } }
• KehlerRohde2013.sourceByAspect KehlerRohde2013.Aspect.imperfective = { sourceInterpretation := { mantissa := 80, exponent := 2 } }

structure KehlerRohde2013.Perfective : Type

A row of Table 2, p. 11: the frequency of a coherence relation in the perfective condition and its bias to the Source.

• frequency : Data.Experiments.Decimal

  The proportion of continuations with the relation.

• biasToSource : Data.Experiments.Decimal

  The proportion of its pronouns assigned to the Source.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqPerfective : DecidableEq Perfective

Equations

• KehlerRohde2013.instDecidableEqPerfective = KehlerRohde2013.instDecidableEqPerfective.decEq

def KehlerRohde2013.instDecidableEqPerfective.decEq (x✝ x✝¹ : Perfective) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprPerfective : Repr Perfective

Equations

• KehlerRohde2013.instReprPerfective = { reprPrec := KehlerRohde2013.instReprPerfective.repr }

def KehlerRohde2013.instReprPerfective.repr : Perfective → ℕ → Std.Format

Equations

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

def KehlerRohde2013.relationsPerfective : Relation → Perfective

The cells of Table 2, p. 11, by relation; checked against the page images.

Equations

• KehlerRohde2013.relationsPerfective KehlerRohde2013.Relation.occasion = { frequency := { mantissa := 38, exponent := 2 }, biasToSource := { mantissa := 18, exponent := 2 } }
• KehlerRohde2013.relationsPerfective KehlerRohde2013.Relation.elaboration = { frequency := { mantissa := 28, exponent := 2 }, biasToSource := { mantissa := 98, exponent := 2 } }
• KehlerRohde2013.relationsPerfective KehlerRohde2013.Relation.explanation = { frequency := { mantissa := 18, exponent := 2 }, biasToSource := { mantissa := 80, exponent := 2 } }
• KehlerRohde2013.relationsPerfective KehlerRohde2013.Relation.violatedExpectation = { frequency := { mantissa := 8, exponent := 2 }, biasToSource := { mantissa := 76, exponent := 2 } }
• KehlerRohde2013.relationsPerfective KehlerRohde2013.Relation.result = { frequency := { mantissa := 6, exponent := 2 }, biasToSource := { mantissa := 8, exponent := 2 } }

structure KehlerRohde2013.InstructionFrequency : Type

A row of Table 3, p. 13: the proportion of continuations with a coherence relation under an instruction.

• frequency : Data.Experiments.Decimal

  The proportion of continuations with the relation.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqInstructionFrequency : DecidableEq InstructionFrequency

Equations

• KehlerRohde2013.instDecidableEqInstructionFrequency = KehlerRohde2013.instDecidableEqInstructionFrequency.decEq

def KehlerRohde2013.instDecidableEqInstructionFrequency.decEq (x✝ x✝¹ : InstructionFrequency) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqInstructionFrequency.decEq { frequency := a } { frequency := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instReprInstructionFrequency : Repr InstructionFrequency

Equations

• KehlerRohde2013.instReprInstructionFrequency = { reprPrec := KehlerRohde2013.instReprInstructionFrequency.repr }

def KehlerRohde2013.instReprInstructionFrequency.repr : InstructionFrequency → ℕ → Std.Format

Equations

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

def KehlerRohde2013.relationsByInstruction : Relation → Instruction → InstructionFrequency

The cells of Table 3, p. 13, by relation and instruction; checked against the page images.

Equations

• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.occasion KehlerRohde2013.Instruction.whatNext = { frequency := { mantissa := 71, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.occasion KehlerRohde2013.Instruction.why = { frequency := { mantissa := 1, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.elaboration KehlerRohde2013.Instruction.whatNext = { frequency := { mantissa := 5, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.elaboration KehlerRohde2013.Instruction.why = { frequency := { mantissa := 8, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.explanation KehlerRohde2013.Instruction.whatNext = { frequency := { mantissa := 1, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.explanation KehlerRohde2013.Instruction.why = { frequency := { mantissa := 91, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.violatedExpectation KehlerRohde2013.Instruction.whatNext = { frequency := { mantissa := 8, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.violatedExpectation KehlerRohde2013.Instruction.why = { frequency := { mantissa := 1, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.result KehlerRohde2013.Instruction.whatNext = { frequency := { mantissa := 5, exponent := 2 } }
• KehlerRohde2013.relationsByInstruction KehlerRohde2013.Relation.result KehlerRohde2013.Instruction.why = { frequency := { mantissa := 0, exponent := 0 } }

structure KehlerRohde2013.ConditionedBias : Type

A row of Table 4, p. 14: the bias of a coherence relation to the Source in the original experiment and in the instruction manipulation.

• original : Data.Experiments.Decimal

  P(pronoun = Source | CR) in the original experiment.

• instructionManipulation : Data.Experiments.Decimal

  P(pronoun = Source | CR) in the instruction manipulation.

def KehlerRohde2013.instDecidableEqConditionedBias.decEq (x✝ x✝¹ : ConditionedBias) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqConditionedBias : DecidableEq ConditionedBias

Equations

• KehlerRohde2013.instDecidableEqConditionedBias = KehlerRohde2013.instDecidableEqConditionedBias.decEq

@[instance_reducible]

instance KehlerRohde2013.instReprConditionedBias : Repr ConditionedBias

Equations

• KehlerRohde2013.instReprConditionedBias = { reprPrec := KehlerRohde2013.instReprConditionedBias.repr }

def KehlerRohde2013.instReprConditionedBias.repr : ConditionedBias → ℕ → Std.Format

Equations

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

def KehlerRohde2013.biasesByRelation : Relation → ConditionedBias

The cells of Table 4, p. 14, by relation; checked against the page images.

Equations

• KehlerRohde2013.biasesByRelation KehlerRohde2013.Relation.occasion = { original := { mantissa := 18, exponent := 2 }, instructionManipulation := { mantissa := 27, exponent := 2 } }
• KehlerRohde2013.biasesByRelation KehlerRohde2013.Relation.elaboration = { original := { mantissa := 98, exponent := 2 }, instructionManipulation := { mantissa := 100, exponent := 2 } }
• KehlerRohde2013.biasesByRelation KehlerRohde2013.Relation.explanation = { original := { mantissa := 80, exponent := 2 }, instructionManipulation := { mantissa := 82, exponent := 2 } }
• KehlerRohde2013.biasesByRelation KehlerRohde2013.Relation.violatedExpectation = { original := { mantissa := 76, exponent := 2 }, instructionManipulation := { mantissa := 74, exponent := 2 } }
• KehlerRohde2013.biasesByRelation KehlerRohde2013.Relation.result = { original := { mantissa := 8, exponent := 2 }, instructionManipulation := { mantissa := 9, exponent := 2 } }

structure KehlerRohde2013.InstructionSource : Type

A row of Table 5, p. 14: the proportion of Source interpretations under an instruction.

• sourceInterpretation : Data.Experiments.Decimal

  The proportion of Source interpretations.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqInstructionSource : DecidableEq InstructionSource

Equations

• KehlerRohde2013.instDecidableEqInstructionSource = KehlerRohde2013.instDecidableEqInstructionSource.decEq

def KehlerRohde2013.instDecidableEqInstructionSource.decEq (x✝ x✝¹ : InstructionSource) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqInstructionSource.decEq { sourceInterpretation := a } { sourceInterpretation := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def KehlerRohde2013.instReprInstructionSource.repr : InstructionSource → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprInstructionSource : Repr InstructionSource

Equations

• KehlerRohde2013.instReprInstructionSource = { reprPrec := KehlerRohde2013.instReprInstructionSource.repr }

def KehlerRohde2013.sourceByInstruction : Instruction → InstructionSource

The cells of Table 5, p. 14, by instruction; checked against the page images.

Equations

• KehlerRohde2013.sourceByInstruction KehlerRohde2013.Instruction.whatNext = { sourceInterpretation := { mantissa := 34, exponent := 2 } }
• KehlerRohde2013.sourceByInstruction KehlerRohde2013.Instruction.why = { sourceInterpretation := { mantissa := 82, exponent := 2 } }

structure KehlerRohde2013.PromptFrequency : Type

A row of Table 6, p. 17: the proportion of continuations with a coherence relation by prompt type.

• frequency : Data.Experiments.Decimal

  The proportion of continuations with the relation.

def KehlerRohde2013.instDecidableEqPromptFrequency.decEq (x✝ x✝¹ : PromptFrequency) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqPromptFrequency.decEq { frequency := a } { frequency := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqPromptFrequency : DecidableEq PromptFrequency

Equations

• KehlerRohde2013.instDecidableEqPromptFrequency = KehlerRohde2013.instDecidableEqPromptFrequency.decEq

@[instance_reducible]

instance KehlerRohde2013.instReprPromptFrequency : Repr PromptFrequency

Equations

• KehlerRohde2013.instReprPromptFrequency = { reprPrec := KehlerRohde2013.instReprPromptFrequency.repr }

def KehlerRohde2013.instReprPromptFrequency.repr : PromptFrequency → ℕ → Std.Format

Equations

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

def KehlerRohde2013.relationsByPrompt : Relation → Prompt → PromptFrequency

The cells of Table 6, p. 17, by relation and prompt; checked against the page images.

Equations

• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.occasion KehlerRohde2013.Prompt.noPronoun = { frequency := { mantissa := 36, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.occasion KehlerRohde2013.Prompt.pronoun = { frequency := { mantissa := 28, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.elaboration KehlerRohde2013.Prompt.noPronoun = { frequency := { mantissa := 6, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.elaboration KehlerRohde2013.Prompt.pronoun = { frequency := { mantissa := 20, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.explanation KehlerRohde2013.Prompt.noPronoun = { frequency := { mantissa := 20, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.explanation KehlerRohde2013.Prompt.pronoun = { frequency := { mantissa := 28, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.violatedExpectation KehlerRohde2013.Prompt.noPronoun = { frequency := { mantissa := 18, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.violatedExpectation KehlerRohde2013.Prompt.pronoun = { frequency := { mantissa := 14, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.result KehlerRohde2013.Prompt.noPronoun = { frequency := { mantissa := 13, exponent := 2 } }
• KehlerRohde2013.relationsByPrompt KehlerRohde2013.Relation.result KehlerRohde2013.Prompt.pronoun = { frequency := { mantissa := 5, exponent := 2 } }

structure KehlerRohde2013.GoalMention : Type

A row of p. 16: the percentage of first mentions to the Goal by prompt type, printed in the text.

• percent : ℕ

  The percentage of first mentions to the Goal.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqGoalMention : DecidableEq GoalMention

Equations

• KehlerRohde2013.instDecidableEqGoalMention = KehlerRohde2013.instDecidableEqGoalMention.decEq

def KehlerRohde2013.instDecidableEqGoalMention.decEq (x✝ x✝¹ : GoalMention) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqGoalMention.decEq { percent := a } { percent := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instReprGoalMention : Repr GoalMention

Equations

• KehlerRohde2013.instReprGoalMention = { reprPrec := KehlerRohde2013.instReprGoalMention.repr }

def KehlerRohde2013.instReprGoalMention.repr : GoalMention → ℕ → Std.Format

Equations

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

def KehlerRohde2013.goalFirstMentions : Prompt → GoalMention

The cells of p. 16, by prompt; checked against the page images.

Equations

• KehlerRohde2013.goalFirstMentions KehlerRohde2013.Prompt.noPronoun = { percent := 84 }
• KehlerRohde2013.goalFirstMentions KehlerRohde2013.Prompt.pronoun = { percent := 48 }

structure KehlerRohde2013.CausalMention : Type

A row of Table 7, p. 24: the proportion of next mentions of the causally implicated referent by voice and prompt.

• proportion : Data.Experiments.Decimal

  The proportion of next mentions of the causally implicated referent.

def KehlerRohde2013.instDecidableEqCausalMention.decEq (x✝ x✝¹ : CausalMention) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqCausalMention.decEq { proportion := a } { proportion := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqCausalMention : DecidableEq CausalMention

Equations

• KehlerRohde2013.instDecidableEqCausalMention = KehlerRohde2013.instDecidableEqCausalMention.decEq

@[instance_reducible]

instance KehlerRohde2013.instReprCausalMention : Repr CausalMention

Equations

• KehlerRohde2013.instReprCausalMention = { reprPrec := KehlerRohde2013.instReprCausalMention.repr }

def KehlerRohde2013.instReprCausalMention.repr : CausalMention → ℕ → Std.Format

Equations

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

def KehlerRohde2013.causalMentions : Voice → Prompt → CausalMention

The cells of Table 7, p. 24, by voice and prompt; checked against the page images.

Equations

• KehlerRohde2013.causalMentions KehlerRohde2013.Voice.active KehlerRohde2013.Prompt.pronoun = { proportion := { mantissa := 77, exponent := 2 } }
• KehlerRohde2013.causalMentions KehlerRohde2013.Voice.active KehlerRohde2013.Prompt.noPronoun = { proportion := { mantissa := 59, exponent := 2 } }
• KehlerRohde2013.causalMentions KehlerRohde2013.Voice.passive KehlerRohde2013.Prompt.pronoun = { proportion := { mantissa := 42, exponent := 2 } }
• KehlerRohde2013.causalMentions KehlerRohde2013.Voice.passive KehlerRohde2013.Prompt.noPronoun = { proportion := { mantissa := 76, exponent := 2 } }

structure KehlerRohde2013.ExplanationRate : Type

A row of Table 8, p. 24: the proportion of Explanation relations by voice and prompt.

• proportion : Data.Experiments.Decimal

  The proportion of Explanation relations.

def KehlerRohde2013.instDecidableEqExplanationRate.decEq (x✝ x✝¹ : ExplanationRate) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqExplanationRate.decEq { proportion := a } { proportion := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqExplanationRate : DecidableEq ExplanationRate

Equations

• KehlerRohde2013.instDecidableEqExplanationRate = KehlerRohde2013.instDecidableEqExplanationRate.decEq

def KehlerRohde2013.instReprExplanationRate.repr : ExplanationRate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprExplanationRate : Repr ExplanationRate

Equations

• KehlerRohde2013.instReprExplanationRate = { reprPrec := KehlerRohde2013.instReprExplanationRate.repr }

def KehlerRohde2013.explanations : Voice → Prompt → ExplanationRate

The cells of Table 8, p. 24, by voice and prompt; checked against the page images.

Equations

• KehlerRohde2013.explanations KehlerRohde2013.Voice.active KehlerRohde2013.Prompt.pronoun = { proportion := { mantissa := 75, exponent := 2 } }
• KehlerRohde2013.explanations KehlerRohde2013.Voice.active KehlerRohde2013.Prompt.noPronoun = { proportion := { mantissa := 60, exponent := 2 } }
• KehlerRohde2013.explanations KehlerRohde2013.Voice.passive KehlerRohde2013.Prompt.pronoun = { proportion := { mantissa := 52, exponent := 2 } }
• KehlerRohde2013.explanations KehlerRohde2013.Voice.passive KehlerRohde2013.Prompt.noPronoun = { proportion := { mantissa := 72, exponent := 2 } }

structure KehlerRohde2013.Pronominalized : Type

A row of Table 9, p. 25: the proportion of pronominalized references to a position by voice.

• proportion : Data.Experiments.Decimal

  The proportion of references that are pronouns.

def KehlerRohde2013.instDecidableEqPronominalized.decEq (x✝ x✝¹ : Pronominalized) : Decidable (x✝ = x✝¹)

Equations

• KehlerRohde2013.instDecidableEqPronominalized.decEq { proportion := a } { proportion := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqPronominalized : DecidableEq Pronominalized

Equations

• KehlerRohde2013.instDecidableEqPronominalized = KehlerRohde2013.instDecidableEqPronominalized.decEq

def KehlerRohde2013.instReprPronominalized.repr : Pronominalized → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprPronominalized : Repr Pronominalized

Equations

• KehlerRohde2013.instReprPronominalized = { reprPrec := KehlerRohde2013.instReprPronominalized.repr }

def KehlerRohde2013.pronominalizations : Voice → Position → Pronominalized

The cells of Table 9, p. 25, by voice and position; checked against the page images.

Equations

• KehlerRohde2013.pronominalizations KehlerRohde2013.Voice.active KehlerRohde2013.Position.subject = { proportion := { mantissa := 62, exponent := 2 } }
• KehlerRohde2013.pronominalizations KehlerRohde2013.Voice.active KehlerRohde2013.Position.nonSubject = { proportion := { mantissa := 24, exponent := 2 } }
• KehlerRohde2013.pronominalizations KehlerRohde2013.Voice.passive KehlerRohde2013.Position.subject = { proportion := { mantissa := 87, exponent := 2 } }
• KehlerRohde2013.pronominalizations KehlerRohde2013.Voice.passive KehlerRohde2013.Position.nonSubject = { proportion := { mantissa := 23, exponent := 2 } }

structure KehlerRohde2013.SubjectBias : Type

A row of Table 10, p. 26: the predicted and the actual bias of a pronoun to the subject by voice.

• predicted : Data.Experiments.Decimal

  The bias predicted from the no-pronoun conditions.

• actual : Data.Experiments.Decimal

  The bias measured with the pronoun prompt.

@[instance_reducible]

instance KehlerRohde2013.instDecidableEqSubjectBias : DecidableEq SubjectBias

Equations

• KehlerRohde2013.instDecidableEqSubjectBias = KehlerRohde2013.instDecidableEqSubjectBias.decEq

def KehlerRohde2013.instDecidableEqSubjectBias.decEq (x✝ x✝¹ : SubjectBias) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance KehlerRohde2013.instReprSubjectBias : Repr SubjectBias

Equations

• KehlerRohde2013.instReprSubjectBias = { reprPrec := KehlerRohde2013.instReprSubjectBias.repr }

def KehlerRohde2013.instReprSubjectBias.repr : SubjectBias → ℕ → Std.Format

Equations

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

def KehlerRohde2013.subjectBiases : Voice → SubjectBias

The cells of Table 10, p. 26, by voice; checked against the page images.

Equations

• KehlerRohde2013.subjectBiases KehlerRohde2013.Voice.active = { predicted := { mantissa := 81, exponent := 2 }, actual := { mantissa := 74, exponent := 2 } }
• KehlerRohde2013.subjectBiases KehlerRohde2013.Voice.passive = { predicted := { mantissa := 59, exponent := 2 }, actual := { mantissa := 60, exponent := 2 } }