Hafeez2025: experimental results (generated)

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

The acceptability rating study (chapter 5) and the discourse production study (chapter 6) of Urdu causal constructions, run on the 43 video clips of the Causality Across Languages project. Twelve raters judged a description of each clip in each of seven response types; a conditional inference tree per response type splits the clips by the semantic predictors, and Table 18 prints each leaf's share of ceiling ratings and its number of responses. The tables are recorded as printed, including the reversed InanCEAF signs of the ADV tree, the peaks of NCA and NCrA that Table 19 swaps, and the unattainable 0.08 of the LEX-INST tree; the studies that consume them state the discrepancies.

Raw data

• https://github.com/JuergenBohnemeyer/cal_stats: the R analyses of the Causality Across Languages project, with the project's clip coding in Non_df_input_csvs/ClipVariables.csv, which codes clips 11 and 21 with a human second participant and clip 22 without one, as the clip names do; the rating responses are not included
• https://github.com/Saima-Hafeez/Agentivity-and-Causation-Hafeez-Sreeram: the dissertation's R code
• https://causalityacrosslanguages.wordpress.com/project-summary/field-manual-and-stimuli/: the project's field manuals and stimulus clips

References

• [Haf25]

inductive Hafeez2025.Predictor : Type

The semantic predictors coded for each clip (Table 4, Appendix L).

• ihcr : Predictor

  IHCr: intentional human causer

• nfcr : Predictor

  NFCr: natural force causer

• ahcr : Predictor

  AHCr: accidental human causer

• contrHCEAF : Predictor

  ContrHCEAF: controlling human causee or affectee

• inanCEAF : Predictor

  InanCEAF: inanimate causee or affectee

• mediation : Predictor

  Mediation: a third participant mediates the chain

• physImpHCEAF : Predictor

  PhysImpHCEAF: physically impacted human causee or affectee

• psychImpHCEAF : Predictor

  PsychImpHCEAF: psychologically impacted human causee or affectee

@[instance_reducible]

instance Hafeez2025.instDecidableEqPredictor : DecidableEq Predictor

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprPredictor : Repr Predictor

Equations

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

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

Equations

• One or more equations did not get rendered due to their size.
• Hafeez2025.instReprPredictor.repr Hafeez2025.Predictor.ihcr prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.Predictor.ihcr")).group prec✝
• Hafeez2025.instReprPredictor.repr Hafeez2025.Predictor.nfcr prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.Predictor.nfcr")).group prec✝
• Hafeez2025.instReprPredictor.repr Hafeez2025.Predictor.ahcr prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.Predictor.ahcr")).group prec✝

@[instance_reducible]

instance Hafeez2025.instFintypePredictor : Fintype Predictor

Equations

• Hafeez2025.instFintypePredictor = { elems := { val := ↑Hafeez2025.Predictor.enumList, nodup := Hafeez2025.Predictor.enumList_nodup }, complete := Hafeez2025.instFintypePredictor._proof_1 }

inductive Hafeez2025.CauserCode : Type

The first letter of a clip name (Appendix L).

• h : CauserCode

  H: intentional human causer

• u : CauserCode

  U: unintentional causer

• n : CauserCode

  N: natural force causer

@[instance_reducible]

instance Hafeez2025.instDecidableEqCauserCode : DecidableEq CauserCode

Equations

• Hafeez2025.instDecidableEqCauserCode x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Hafeez2025.instReprCauserCode : Repr CauserCode

Equations

• Hafeez2025.instReprCauserCode = { reprPrec := Hafeez2025.instReprCauserCode.repr }

def Hafeez2025.instReprCauserCode.repr : CauserCode → ℕ → Std.Format

Equations

• Hafeez2025.instReprCauserCode.repr Hafeez2025.CauserCode.h prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.CauserCode.h")).group prec✝
• Hafeez2025.instReprCauserCode.repr Hafeez2025.CauserCode.u prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.CauserCode.u")).group prec✝
• Hafeez2025.instReprCauserCode.repr Hafeez2025.CauserCode.n prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Hafeez2025.CauserCode.n")).group prec✝

@[instance_reducible]

instance Hafeez2025.instFintypeCauserCode : Fintype CauserCode

Equations

• Hafeez2025.instFintypeCauserCode = { elems := { val := ↑Hafeez2025.CauserCode.enumList, nodup := Hafeez2025.CauserCode.enumList_nodup }, complete := Hafeez2025.instFintypeCauserCode._proof_1 }

inductive Hafeez2025.ParticipantCode : Type

A later letter of a clip name (Appendix L).

• c : ParticipantCode

  C: controlling human causee or affectee

• u : ParticipantCode

  U: non-controlling human causee or affectee

• m : ParticipantCode

  M: physically impacted human causee or affectee, used once for an umbrella

• o : ParticipantCode

  O: inanimate affectee

@[instance_reducible]

instance Hafeez2025.instDecidableEqParticipantCode : DecidableEq ParticipantCode

Equations

• Hafeez2025.instDecidableEqParticipantCode x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Hafeez2025.instReprParticipantCode.repr : ParticipantCode → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprParticipantCode : Repr ParticipantCode

Equations

• Hafeez2025.instReprParticipantCode = { reprPrec := Hafeez2025.instReprParticipantCode.repr }

@[instance_reducible]

instance Hafeez2025.instFintypeParticipantCode : Fintype ParticipantCode

Equations

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

inductive Hafeez2025.ResponseType : Type

The response types of the two studies (Appendix L).

• lexErg : ResponseType

  LEX-ERG: lexical ergative construction

• lexNom : ResponseType

  LEX-NOM: lexical nominative construction

• lexInst : ResponseType

  LEX-INST: lexical instrumental construction

• lexDat : ResponseType

  LEX-DAT: lexical dative response type

• mcv : ResponseType

  MCV: morphological causative construction

• acc : ResponseType

  ACC: anaphoric causative construction

• adv : ResponseType

  ADV: adverbial causal construction

• ncrA : ResponseType

  NCrA: non-sentential causer adjunct construction

• nca : ResponseType

  NCA: non-sentential cause adjunct construction

• impCausRel : ResponseType

  IMP-CAUS-REL: implicit causal relation construction

@[instance_reducible]

instance Hafeez2025.instDecidableEqResponseType : DecidableEq ResponseType

Equations

• Hafeez2025.instDecidableEqResponseType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Hafeez2025.instReprResponseType : Repr ResponseType

Equations

• Hafeez2025.instReprResponseType = { reprPrec := Hafeez2025.instReprResponseType.repr }

def Hafeez2025.instReprResponseType.repr : ResponseType → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instFintypeResponseType : Fintype ResponseType

Equations

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

inductive Hafeez2025.Answer : Type

A yes-or-no cell of Table 25.

• yes : Answer

  Yes: yes

• no : Answer

  No: no

@[instance_reducible]

instance Hafeez2025.instDecidableEqAnswer : DecidableEq Answer

Equations

• Hafeez2025.instDecidableEqAnswer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Hafeez2025.instReprAnswer.repr : Answer → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprAnswer : Repr Answer

Equations

• Hafeez2025.instReprAnswer = { reprPrec := Hafeez2025.instReprAnswer.repr }

@[instance_reducible]

instance Hafeez2025.instFintypeAnswer : Fintype Answer

Equations

• Hafeez2025.instFintypeAnswer = { elems := { val := ↑Hafeez2025.Answer.enumList, nodup := Hafeez2025.Answer.enumList_nodup }, complete := Hafeez2025.instFintypeAnswer._proof_1 }

def Hafeez2025.raters : ℕ

The number of participants in the acceptability rating study, each rating every description. (section 5.1, p. 112; checked against the PDF text layer only.)

Equations

• Hafeez2025.raters = 12

structure Hafeez2025.Clip : Type

A row of Tables 3 and 4 (pp. 45-47, 51-52) and Appendix L: a stimulus clip, with the letters of its name and the predictors Table 4 marks present.

• number : ℕ

  The clip number, in the first presentation order.

• causer : CauserCode

  The first letter of the clip name.

• second : ParticipantCode

  The second letter of the clip name.

• third : Option ParticipantCode

  The third letter of the clip name, when it is the O of an inanimate affectee.

• present : List Predictor

  The predictors Table 4 marks Yes.

@[instance_reducible]

instance Hafeez2025.instDecidableEqClip : DecidableEq Clip

Equations

• Hafeez2025.instDecidableEqClip = Hafeez2025.instDecidableEqClip.decEq

def Hafeez2025.instDecidableEqClip.decEq (x✝ x✝¹ : Clip) : Decidable (x✝ = x✝¹)

Equations

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

def Hafeez2025.instReprClip.repr : Clip → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprClip : Repr Clip

Equations

• Hafeez2025.instReprClip = { reprPrec := Hafeez2025.instReprClip.repr }

def Hafeez2025.clips : List Clip

The 43 rows of Tables 3 and 4 (pp. 45-47, 51-52) and Appendix L, in the paper's order; checked against the page images.

Equations

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

structure Hafeez2025.Leaf : Type

A row of Table 18 (pp. 143-144): a leaf of a response type's conditional inference tree. Table 18 prints the response types LEX-ERG and MCV as LEX_ERG and MCV_U.

• responseType : ResponseType

  The response type whose tree the leaf belongs to.

• node : ℕ

  The leaf's node number in the tree plot.

• path : List (Predictor × Data.Experiments.Sign)

  The scene type of the leaf, as printed.

• ceilingPercent : Data.Experiments.Decimal

  The percentage of the leaf's responses given the ceiling rating.

• responses : ℕ

  The number of responses in the leaf.

def Hafeez2025.instDecidableEqLeaf.decEq (x✝ x✝¹ : Leaf) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Hafeez2025.instDecidableEqLeaf : DecidableEq Leaf

Equations

• Hafeez2025.instDecidableEqLeaf = Hafeez2025.instDecidableEqLeaf.decEq

def Hafeez2025.instReprLeaf.repr : Leaf → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprLeaf : Repr Leaf

Equations

• Hafeez2025.instReprLeaf = { reprPrec := Hafeez2025.instReprLeaf.repr }

def Hafeez2025.leaves : List Leaf

The 27 rows of Table 18 (pp. 143-144), in the paper's order; checked against the page images.

Equations

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

structure Hafeez2025.SummaryRow : Type

A row of Table 19 (pp. 149-150): a response type with its semantic prototype and its acceptability peak.

• responseType : ResponseType

  The response type.

• prototype : Option (List (Predictor × Data.Experiments.Sign))

  The semantic prototype; none where the table prints NO.

• percent : Data.Experiments.Decimal

  The acceptability percentage printed beside it.

def Hafeez2025.instDecidableEqSummaryRow.decEq (x✝ x✝¹ : SummaryRow) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Hafeez2025.instDecidableEqSummaryRow : DecidableEq SummaryRow

Equations

• Hafeez2025.instDecidableEqSummaryRow = Hafeez2025.instDecidableEqSummaryRow.decEq

@[instance_reducible]

instance Hafeez2025.instReprSummaryRow : Repr SummaryRow

Equations

• Hafeez2025.instReprSummaryRow = { reprPrec := Hafeez2025.instReprSummaryRow.repr }

def Hafeez2025.instReprSummaryRow.repr : SummaryRow → ℕ → Std.Format

Equations

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

def Hafeez2025.summary : List SummaryRow

The 7 rows of Table 19 (pp. 149-150), in the paper's order; checked against the page images.

Equations

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

structure Hafeez2025.ComparisonRow : Type

A row of Table 25 (pp. 218-219): a response type's prototype in the acceptability study and its preferences in the production study.

• responseType : ResponseType

  The response type.

• rated : Answer

  Whether the acceptability study tested it.

• prototype : Option (List (Predictor × Data.Experiments.Sign))

  Its prototype in the acceptability study; none where the table prints No or N/A.

• produced : Answer

  Whether it occurred in the production study.

• combinedPreference : Option (List (Predictor × Data.Experiments.Sign))

  The scene type the model of all response types prefers it for (fifth column).

• individualPreferences : List (List (Predictor × Data.Experiments.Sign))

  The scene types its own model prefers it for (sixth column).

def Hafeez2025.instDecidableEqComparisonRow.decEq (x✝ x✝¹ : ComparisonRow) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Hafeez2025.instDecidableEqComparisonRow : DecidableEq ComparisonRow

Equations

• Hafeez2025.instDecidableEqComparisonRow = Hafeez2025.instDecidableEqComparisonRow.decEq

def Hafeez2025.instReprComparisonRow.repr : ComparisonRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hafeez2025.instReprComparisonRow : Repr ComparisonRow

Equations

• Hafeez2025.instReprComparisonRow = { reprPrec := Hafeez2025.instReprComparisonRow.repr }

def Hafeez2025.comparison : List ComparisonRow

The 10 rows of Table 25 (pp. 218-219), in the paper's order; checked against the page images.

Equations

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