Schwarzer2026: experimental results (generated)

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

Two experiments on German DP-CP coordination. Experiment 1 rated bare dass-clauses and DP-CP coordinations after verbs that do and do not select a clause, on a five-point scale z-scored per participant; table (14) prints the descriptive statistics of the four conditions. Experiment 2 was a forced choice between the DP-first and the CP-first order of a coordination in preverbal and in postverbal position.

Raw data

• https://osf.io/kznyt/: materials, scripts, plots and trial-level data of both experiments; table (14) is recomputed from data/accept.csv and the choices from data/2afc.csv

References

• [Sch26]

inductive Schwarzer2026.Complement : Type

The complement of Experiment 1.

• coord : Complement

  coord.: a DP-CP coordination

• dass : Complement

  dass: a bare dass-clause

@[instance_reducible]

instance Schwarzer2026.instDecidableEqComplement : DecidableEq Complement

Equations

• Schwarzer2026.instDecidableEqComplement x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Schwarzer2026.instReprComplement.repr : Complement → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Schwarzer2026.instReprComplement : Repr Complement

Equations

• Schwarzer2026.instReprComplement = { reprPrec := Schwarzer2026.instReprComplement.repr }

@[instance_reducible]

instance Schwarzer2026.instFintypeComplement : Fintype Complement

Equations

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

inductive Schwarzer2026.Selection : Type

Whether the verb selects a clausal complement.

• no : Selection

  no: the verb does not select a clause (beenden)

• yes : Selection

  yes: the verb selects a clause (veranlassen)

@[instance_reducible]

instance Schwarzer2026.instDecidableEqSelection : DecidableEq Selection

Equations

• Schwarzer2026.instDecidableEqSelection x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Schwarzer2026.instReprSelection.repr : Selection → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Schwarzer2026.instReprSelection : Repr Selection

Equations

• Schwarzer2026.instReprSelection = { reprPrec := Schwarzer2026.instReprSelection.repr }

@[instance_reducible]

instance Schwarzer2026.instFintypeSelection : Fintype Selection

Equations

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

inductive Schwarzer2026.Position : Type

The position of the coordination relative to the verb in Experiment 2.

• preverbal : Position

  preverbal: before the clause-final verb of an embedded clause, (16)

• postverbal : Position

  postverbal: after the verb-second verb of a root clause, (17)

@[instance_reducible]

instance Schwarzer2026.instDecidableEqPosition : DecidableEq Position

Equations

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

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

Equations

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

@[instance_reducible]

instance Schwarzer2026.instReprPosition : Repr Position

Equations

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

@[instance_reducible]

instance Schwarzer2026.instFintypePosition : Fintype Position

Equations

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

inductive Schwarzer2026.Order : Type

The order of the conjuncts in Experiment 2.

• dpFirst : Order

  DP-first: the noun phrase first

• cpFirst : Order

  CP-first: the clause first

@[instance_reducible]

instance Schwarzer2026.instDecidableEqOrder : DecidableEq Order

Equations

• Schwarzer2026.instDecidableEqOrder x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Schwarzer2026.instReprOrder : Repr Order

Equations

• Schwarzer2026.instReprOrder = { reprPrec := Schwarzer2026.instReprOrder.repr }

def Schwarzer2026.instReprOrder.repr : Order → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Schwarzer2026.instFintypeOrder : Fintype Order

Equations

• Schwarzer2026.instFintypeOrder = { elems := { val := ↑Schwarzer2026.Order.enumList, nodup := Schwarzer2026.Order.enumList_nodup }, complete := Schwarzer2026.instFintypeOrder._proof_1 }

structure Schwarzer2026.Rating : Type

A row of table (14), p. 9: the ratings of a complement after a verb that does or does not select a clause.

• observations : ℕ

  The number of observations.

• meanZ : Data.Experiments.Decimal

  The mean z-score.

• sd : Data.Experiments.Decimal

  The standard deviation of the z-scores.

• medianZ : Data.Experiments.Decimal

  The median z-score.

@[instance_reducible]

instance Schwarzer2026.instDecidableEqRating : DecidableEq Rating

Equations

• Schwarzer2026.instDecidableEqRating = Schwarzer2026.instDecidableEqRating.decEq

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

Equations

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

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

Equations

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

@[instance_reducible]

instance Schwarzer2026.instReprRating : Repr Rating

Equations

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

def Schwarzer2026.ratings : Complement → Selection → Rating

The cells of table (14), p. 9, by complement and selection; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

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

structure Schwarzer2026.Choice : Type

A row of Experiment 2 results, p. 13: how often an order was chosen in a position. In the released data each of the 30 participants chose once in each position, among ten control pairs of each group, although the paper describes four test pairs per participant.

• count : ℕ

  How many participants chose the order.

def Schwarzer2026.instDecidableEqChoice.decEq (x✝ x✝¹ : Choice) : Decidable (x✝ = x✝¹)

Equations

• Schwarzer2026.instDecidableEqChoice.decEq { count := a } { count := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Schwarzer2026.instDecidableEqChoice : DecidableEq Choice

Equations

• Schwarzer2026.instDecidableEqChoice = Schwarzer2026.instDecidableEqChoice.decEq

def Schwarzer2026.instReprChoice.repr : Choice → ℕ → Std.Format

Equations

• Schwarzer2026.instReprChoice.repr x✝ prec✝ = Std.Format.bracket "{ " (Std.Format.nil ++ Std.Format.text "count" ++ Std.Format.text " := " ++ (Std.Format.nest 9 (repr x✝.count)).group) " }"

@[instance_reducible]

instance Schwarzer2026.instReprChoice : Repr Choice

Equations

• Schwarzer2026.instReprChoice = { reprPrec := Schwarzer2026.instReprChoice.repr }

def Schwarzer2026.choices : Position → Order → Choice

The cells of Experiment 2 results, p. 13, by position and order; recomputed from the authors' released data by scripts/check_experiments.py.

Equations

• Schwarzer2026.choices Schwarzer2026.Position.preverbal Schwarzer2026.Order.dpFirst = { count := 23 }
• Schwarzer2026.choices Schwarzer2026.Position.preverbal Schwarzer2026.Order.cpFirst = { count := 7 }
• Schwarzer2026.choices Schwarzer2026.Position.postverbal Schwarzer2026.Order.dpFirst = { count := 23 }
• Schwarzer2026.choices Schwarzer2026.Position.postverbal Schwarzer2026.Order.cpFirst = { count := 7 }