FrischPierrehumbertBroe2004: experimental results (generated)

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

Frisch, Pierrehumbert and Broe's printed results for the consonants of Arabic verbal roots, counted in the 2,674 roots of Cowan (1979): the natural-classes similarity of every pair of consonants (Table III), observed and expected co-occurrence by similarity for adjacent and non-adjacent pairs (Table IV), the fits of five models of OCP-Place (Table V), and the three root types that illustrate the O/E measure (p. 185).

References

• [FPB04]

inductive FrischPierrehumbertBroe2004.Consonant : Type

The consonants of matrix (8), in its column order.

• b : Consonant

  b: ب

• f : Consonant

  f: ف

• m : Consonant

  m: م

• t : Consonant

  t: ت

• d : Consonant

  d: د

• tEmph : Consonant

  tˤ: ط

• dEmph : Consonant

  dˤ: ض

• theta : Consonant

  θ: ث

• edh : Consonant

  ð: ذ

• s : Consonant

  s: س

• z : Consonant

  z: ز

• sEmph : Consonant

  sˤ: ص

• zEmph : Consonant

  zˤ: ظ, /ðˤ/ in the standard language

• esh : Consonant

  ʃ: ش

• k : Consonant

  k: ك

• g : Consonant

  g: ج, /dʒ/ in the standard language, which the paper writes as a dorsal stop

• q : Consonant

  q: ق

• chi : Consonant

  χ: خ

• gamma : Consonant

  ʁ: غ

• hbar : Consonant

  ħ: ح

• ayin : Consonant

  ʕ: ع

• h : Consonant

  h: ه

• glottal : Consonant

  ʔ: ء

• l : Consonant

  l: ل

• r : Consonant

  r: ر

• n : Consonant

  n: ن

• w : Consonant

  w: و

• j : Consonant

  j: ي

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqConsonant : DecidableEq Consonant

Equations

• FrischPierrehumbertBroe2004.instDecidableEqConsonant x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprConsonant : Repr Consonant

Equations

• FrischPierrehumbertBroe2004.instReprConsonant = { reprPrec := FrischPierrehumbertBroe2004.instReprConsonant.repr }

def FrischPierrehumbertBroe2004.instReprConsonant.repr : Consonant → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instFintypeConsonant : Fintype Consonant

Equations

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

inductive FrischPierrehumbertBroe2004.Distance : Type

The positions of a pair of consonants in a triliteral root.

• adjacent : Distance

  Adjacent: first and second, or second and third

• nonAdjacent : Distance

  Non-adjacent: first and third

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqDistance : DecidableEq Distance

Equations

• FrischPierrehumbertBroe2004.instDecidableEqDistance x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprDistance : Repr Distance

Equations

• FrischPierrehumbertBroe2004.instReprDistance = { reprPrec := FrischPierrehumbertBroe2004.instReprDistance.repr }

def FrischPierrehumbertBroe2004.instReprDistance.repr : Distance → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instFintypeDistance : Fintype Distance

Equations

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

inductive FrischPierrehumbertBroe2004.SimilarityBin : Type

The similarity intervals of Table IV.

• zero : SimilarityBin

  0: nonhomorganic pairs

• upTo01 : SimilarityBin

  0–0.1: similarity above 0 up to 0.1

• upTo02 : SimilarityBin

  0.1–0.2: 0.1 to 0.2

• upTo03 : SimilarityBin

  0.2–0.3: 0.2 to 0.3

• upTo04 : SimilarityBin

  0.3–0.4: 0.3 to 0.4

• upTo05 : SimilarityBin

  0.4–0.5: 0.4 to 0.5

• upTo06 : SimilarityBin

  0.5–0.6: 0.5 to 0.6

• pointEight : SimilarityBin

  0.8: /l, r/ alone

• one : SimilarityBin

  1: identical pairs

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqSimilarityBin : DecidableEq SimilarityBin

Equations

• FrischPierrehumbertBroe2004.instDecidableEqSimilarityBin x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprSimilarityBin : Repr SimilarityBin

Equations

• FrischPierrehumbertBroe2004.instReprSimilarityBin = { reprPrec := FrischPierrehumbertBroe2004.instReprSimilarityBin.repr }

def FrischPierrehumbertBroe2004.instReprSimilarityBin.repr : SimilarityBin → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instFintypeSimilarityBin : Fintype SimilarityBin

Equations

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

inductive FrischPierrehumbertBroe2004.Model : Type

The models of OCP-Place compared in Table V.

• frequency : Model

  Frequency: no OCP-Place effect: co-occurrence at random

• categorical : Model

  Categorical: a categorical ban on consonants of one major class of (2)

• soft : Model

  Soft Model: a categorical ban on adjacent identical consonants and a constant O/E for consonants of one major class

• feature : Model

  Feature Model: O/E a decreasing function of similarity computed over the features of (8)

• naturalClasses : Model

  Natural Classes: O/E a decreasing function of the natural-classes similarity

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqModel : DecidableEq Model

Equations

• FrischPierrehumbertBroe2004.instDecidableEqModel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprModel : Repr Model

Equations

• FrischPierrehumbertBroe2004.instReprModel = { reprPrec := FrischPierrehumbertBroe2004.instReprModel.repr }

def FrischPierrehumbertBroe2004.instReprModel.repr : Model → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instFintypeModel : Fintype Model

Equations

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

def FrischPierrehumbertBroe2004.lexiconRoots : ℕ

The number of roots in the lexicon, from the dictionary of Cowan (1979). (p. 185; checked against the page images.)

Equations

• FrischPierrehumbertBroe2004.lexiconRoots = 2674

structure FrischPierrehumbertBroe2004.Similarity : Type

A row of Table III, pp. 202–203: the natural-classes similarity of a pair of consonants, the upper triangle of the symmetric table with the diagonal.

• c1 : Consonant

  The first consonant.

• c2 : Consonant

  The second consonant, not before the first in (8).

• similarity : Data.Experiments.Decimal

  The similarity.

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqSimilarity : DecidableEq Similarity

Equations

• FrischPierrehumbertBroe2004.instDecidableEqSimilarity = FrischPierrehumbertBroe2004.instDecidableEqSimilarity.decEq

def FrischPierrehumbertBroe2004.instDecidableEqSimilarity.decEq (x✝ x✝¹ : Similarity) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprSimilarity : Repr Similarity

Equations

• FrischPierrehumbertBroe2004.instReprSimilarity = { reprPrec := FrischPierrehumbertBroe2004.instReprSimilarity.repr }

def FrischPierrehumbertBroe2004.instReprSimilarity.repr : Similarity → ℕ → Std.Format

Equations

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

def FrischPierrehumbertBroe2004.similarities : List Similarity

The 406 rows of Table III, pp. 202–203, in the paper's order; checked against the PDF text layer only.

Equations

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

structure FrischPierrehumbertBroe2004.Cooccurrence : Type

A row of Table IV, p. 203: the observed and expected co-occurrence of the consonant pairs in a similarity interval.

• observed : ℕ

  The pairs observed.

• expected : Data.Experiments.Decimal

  The pairs expected at random.

• oe : Data.Experiments.Decimal

  Observed over expected.

def FrischPierrehumbertBroe2004.instDecidableEqCooccurrence.decEq (x✝ x✝¹ : Cooccurrence) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqCooccurrence : DecidableEq Cooccurrence

Equations

• FrischPierrehumbertBroe2004.instDecidableEqCooccurrence = FrischPierrehumbertBroe2004.instDecidableEqCooccurrence.decEq

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprCooccurrence : Repr Cooccurrence

Equations

• FrischPierrehumbertBroe2004.instReprCooccurrence = { reprPrec := FrischPierrehumbertBroe2004.instReprCooccurrence.repr }

def FrischPierrehumbertBroe2004.instReprCooccurrence.repr : Cooccurrence → ℕ → Std.Format

Equations

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

def FrischPierrehumbertBroe2004.cooccurrence : SimilarityBin → Distance → Cooccurrence

The cells of Table IV, p. 203, by bin and distance; checked against the page images.

Equations

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

structure FrischPierrehumbertBroe2004.ModelFit : Type

A row of Table V, p. 207: the fit of a model to the O/E of every consonant pair in every position.

• rSquared : Data.Experiments.Decimal

  The proportion of variance explained.

• residualSS : ℕ

  The residual sum of squares.

• homorganicSS : ℕ

  The residual sum of squares over homorganic pairs.

• majorClassSS : ℕ

  The residual sum of squares over pairs of one major class.

• parameters : ℕ

  The number of parameters.

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqModelFit : DecidableEq ModelFit

Equations

• FrischPierrehumbertBroe2004.instDecidableEqModelFit = FrischPierrehumbertBroe2004.instDecidableEqModelFit.decEq

def FrischPierrehumbertBroe2004.instDecidableEqModelFit.decEq (x✝ x✝¹ : ModelFit) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprModelFit : Repr ModelFit

Equations

• FrischPierrehumbertBroe2004.instReprModelFit = { reprPrec := FrischPierrehumbertBroe2004.instReprModelFit.repr }

def FrischPierrehumbertBroe2004.instReprModelFit.repr : ModelFit → ℕ → Std.Format

Equations

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

def FrischPierrehumbertBroe2004.modelFits : Model → ModelFit

The cells of Table V, p. 207, by model; checked against the page images.

Equations

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

structure FrischPierrehumbertBroe2004.RootType : Type

A row of p. 185: roots of the form C1 C2 C, counted with the two consonants in first and second position.

• c1 : Consonant

  The first consonant.

• c2 : Consonant

  The second consonant.

• observed : ℕ

  The roots observed.

• expected : Data.Experiments.Decimal

  The roots expected at random.

• oe : Data.Experiments.Decimal

  Observed over expected.

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instDecidableEqRootType : DecidableEq RootType

Equations

• FrischPierrehumbertBroe2004.instDecidableEqRootType = FrischPierrehumbertBroe2004.instDecidableEqRootType.decEq

def FrischPierrehumbertBroe2004.instDecidableEqRootType.decEq (x✝ x✝¹ : RootType) : Decidable (x✝ = x✝¹)

Equations

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

def FrischPierrehumbertBroe2004.instReprRootType.repr : RootType → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance FrischPierrehumbertBroe2004.instReprRootType : Repr RootType

Equations

• FrischPierrehumbertBroe2004.instReprRootType = { reprPrec := FrischPierrehumbertBroe2004.instReprRootType.repr }

def FrischPierrehumbertBroe2004.rootTypes : List RootType

The 3 rows of p. 185, in the paper's order; checked against the page images.

Equations

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