Creissels2024: experimental results (generated)

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

The survey figures Creissels reports from Bahrt (2021: 144): the percentage of the languages of a 222-language sample, all of different genera, in which synthetic marking of each of seven types of voice alternation is attested, analytic marking excluded.

References

• [Cre24]

inductive Creissels2024.BahrtType : Type

A type of voice alternation in Bahrt's survey, whose applicativization pools the book's applicativization with non-causative A/S-nucleativization.

• causativization : BahrtType

  causativization: a causer nucleativized

• reciprocalization : BahrtType

  reciprocalization: A and P cumulated in a group S

• applicativization : BahrtType

  applicativization: an applied phrase added, or a non-causer nucleativized as A or S

• reflexivization : BahrtType

  reflexivization: A and P cumulated in an individual S

• decausativization : BahrtType

  decausativization: the initial A suppressed

• passivization : BahrtType

  passivization: the initial A denucleativized

• antipassivization : BahrtType

  antipassivization: the initial P denucleativized

@[instance_reducible]

instance Creissels2024.instDecidableEqBahrtType : DecidableEq BahrtType

Equations

• Creissels2024.instDecidableEqBahrtType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Creissels2024.instReprBahrtType.repr : BahrtType → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Creissels2024.instReprBahrtType : Repr BahrtType

Equations

• Creissels2024.instReprBahrtType = { reprPrec := Creissels2024.instReprBahrtType.repr }

@[instance_reducible]

instance Creissels2024.instFintypeBahrtType : Fintype BahrtType

Equations

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

def Creissels2024.bahrtSampleSize : ℕ

The languages of Bahrt's sample. (§8.3.8, p. 348; checked against the page images.)

Equations

• Creissels2024.bahrtSampleSize = 222

structure Creissels2024.BahrtShare : Type

A row of §8.3.8, p. 348: the percentage of the sample with synthetic marking of each type.

• share : Data.Experiments.Decimal

  The percentage of the sample with synthetic marking of it.

@[instance_reducible]

instance Creissels2024.instDecidableEqBahrtShare : DecidableEq BahrtShare

Equations

• Creissels2024.instDecidableEqBahrtShare = Creissels2024.instDecidableEqBahrtShare.decEq

def Creissels2024.instDecidableEqBahrtShare.decEq (x✝ x✝¹ : BahrtShare) : Decidable (x✝ = x✝¹)

Equations

• Creissels2024.instDecidableEqBahrtShare.decEq { share := a } { share := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def Creissels2024.instReprBahrtShare.repr : BahrtShare → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Creissels2024.instReprBahrtShare : Repr BahrtShare

Equations

• Creissels2024.instReprBahrtShare = { reprPrec := Creissels2024.instReprBahrtShare.repr }

def Creissels2024.bahrtShares : BahrtType → BahrtShare

The cells of §8.3.8, p. 348, by type; checked against the page images.

Equations

• Creissels2024.bahrtShares Creissels2024.BahrtType.causativization = { share := { mantissa := 739, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.reciprocalization = { share := { mantissa := 604, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.applicativization = { share := { mantissa := 459, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.reflexivization = { share := { mantissa := 419, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.decausativization = { share := { mantissa := 360, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.passivization = { share := { mantissa := 360, exponent := 1 } }
• Creissels2024.bahrtShares Creissels2024.BahrtType.antipassivization = { share := { mantissa := 185, exponent := 1 } }