Labov2006: experimental results (generated)

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

Labov's printed tables from the second edition of the New York City survey: (r) and stops in fourth in the department store survey, the class stratification of the five phonological variables by class group and contextual style, the distributions in apparent time of /ʌy/, (r), (æh), (oh), (th) and (dh) by age and class or ethnic group, and the (ing) index by age, social class and style.

References

• [Lab06]

inductive Labov2006.Store : Type

The three department stores of the Chapter 3 survey, from the least to the most prestigious.

• klein : Store

  S. Klein: the lowest-ranking store, on Union Square

• macys : Store

  Macy's: the middle-ranking store, on Herald Square

• saks : Store

  Saks: Saks Fifth Avenue, the highest-ranking store

@[instance_reducible]

instance Labov2006.instDecidableEqStore : DecidableEq Store

Equations

• Labov2006.instDecidableEqStore x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprStore.repr : Store → ℕ → Std.Format

Equations

• Labov2006.instReprStore.repr Labov2006.Store.klein prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Store.klein")).group prec✝
• Labov2006.instReprStore.repr Labov2006.Store.macys prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Store.macys")).group prec✝
• Labov2006.instReprStore.repr Labov2006.Store.saks prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Store.saks")).group prec✝

@[instance_reducible]

instance Labov2006.instReprStore : Repr Store

Equations

• Labov2006.instReprStore = { reprPrec := Labov2006.instReprStore.repr }

@[instance_reducible]

instance Labov2006.instFintypeStore : Fintype Store

Equations

• Labov2006.instFintypeStore = { elems := { val := ↑Labov2006.Store.enumList, nodup := Labov2006.Store.enumList_nodup }, complete := Labov2006.instFintypeStore._proof_1 }

inductive Labov2006.Variable : Type

The five phonological variables of the Lower East Side survey.

• r : Variable

  (r): the percentage of constricted [r] where /r/ is final or preconsonantal, as in car, card

• aeh : Variable

  (æh): the height of the vowel of bad, ask, dance: ten times the mean code on a scale from 1, high, to 6, low

• oh : Variable

  (oh): the height of the vowel of caught, talk, off, coded as (æh)

• th : Variable

  (th): the initial consonant of thing: one hundred times the mean code less one, coding the fricative 1, the affricate 2 and the stop 3

• dh : Variable

  (dh): the initial consonant of then, coded as (th)

@[instance_reducible]

instance Labov2006.instDecidableEqVariable : DecidableEq Variable

Equations

• Labov2006.instDecidableEqVariable x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprVariable.repr : Variable → ℕ → Std.Format

Equations

• Labov2006.instReprVariable.repr Labov2006.Variable.r prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Variable.r")).group prec✝
• Labov2006.instReprVariable.repr Labov2006.Variable.aeh prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Variable.aeh")).group prec✝
• Labov2006.instReprVariable.repr Labov2006.Variable.oh prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Variable.oh")).group prec✝
• Labov2006.instReprVariable.repr Labov2006.Variable.th prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Variable.th")).group prec✝
• Labov2006.instReprVariable.repr Labov2006.Variable.dh prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Variable.dh")).group prec✝

@[instance_reducible]

instance Labov2006.instReprVariable : Repr Variable

Equations

• Labov2006.instReprVariable = { reprPrec := Labov2006.instReprVariable.repr }

@[instance_reducible]

instance Labov2006.instFintypeVariable : Fintype Variable

Equations

• Labov2006.instFintypeVariable = { elems := { val := ↑Labov2006.Variable.enumList, nodup := Labov2006.Variable.enumList_nodup }, complete := Labov2006.instFintypeVariable._proof_1 }

inductive Labov2006.Style : Type

The contextual styles of Chapter 4, from the least to the most attention paid to speech.

• casual : Style

  A: casual speech

• careful : Style

  B: careful speech, the interview style

• reading : Style

  C: reading style

• wordList : Style

  D: word lists

• minimalPair : Style

  D′: minimal pairs

@[instance_reducible]

instance Labov2006.instDecidableEqStyle : DecidableEq Style

Equations

• Labov2006.instDecidableEqStyle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprStyle : Repr Style

Equations

• Labov2006.instReprStyle = { reprPrec := Labov2006.instReprStyle.repr }

def Labov2006.instReprStyle.repr : Style → ℕ → Std.Format

Equations

• Labov2006.instReprStyle.repr Labov2006.Style.casual prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Style.casual")).group prec✝
• Labov2006.instReprStyle.repr Labov2006.Style.careful prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Style.careful")).group prec✝
• Labov2006.instReprStyle.repr Labov2006.Style.reading prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Style.reading")).group prec✝
• Labov2006.instReprStyle.repr Labov2006.Style.wordList prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Style.wordList")).group prec✝
• Labov2006.instReprStyle.repr Labov2006.Style.minimalPair prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.Style.minimalPair")).group prec✝

@[instance_reducible]

instance Labov2006.instFintypeStyle : Fintype Style

Equations

• Labov2006.instFintypeStyle = { elems := { val := ↑Labov2006.Style.enumList, nodup := Labov2006.Style.enumList_nodup }, complete := Labov2006.instFintypeStyle._proof_1 }

inductive Labov2006.ClassGroup : Type

The three groups of the ten-point socioeconomic index in Table 7.8, with 23, 28 and 30 informants.

• lower : ClassGroup

  0–2: the lower class

• working : ClassGroup

  3–5: the working class

• middle : ClassGroup

  6–9: the middle class

@[instance_reducible]

instance Labov2006.instDecidableEqClassGroup : DecidableEq ClassGroup

Equations

• Labov2006.instDecidableEqClassGroup x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprClassGroup : Repr ClassGroup

Equations

• Labov2006.instReprClassGroup = { reprPrec := Labov2006.instReprClassGroup.repr }

def Labov2006.instReprClassGroup.repr : ClassGroup → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instFintypeClassGroup : Fintype ClassGroup

Equations

• Labov2006.instFintypeClassGroup = { elems := { val := ↑Labov2006.ClassGroup.enumList, nodup := Labov2006.ClassGroup.enumList_nodup }, complete := Labov2006.instFintypeClassGroup._proof_1 }

inductive Labov2006.SocioeconomicClass : Type

The four groups of the socioeconomic index in Tables 9.7 and 9.10.

• lower : SocioeconomicClass

  0–1: the lower class

• working : SocioeconomicClass

  2–5: the working class

• lowerMiddle : SocioeconomicClass

  6–8: the lower middle class

• upperMiddle : SocioeconomicClass

  9: the upper middle class

@[instance_reducible]

instance Labov2006.instDecidableEqSocioeconomicClass : DecidableEq SocioeconomicClass

Equations

• Labov2006.instDecidableEqSocioeconomicClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprSocioeconomicClass : Repr SocioeconomicClass

Equations

• Labov2006.instReprSocioeconomicClass = { reprPrec := Labov2006.instReprSocioeconomicClass.repr }

def Labov2006.instReprSocioeconomicClass.repr : SocioeconomicClass → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instFintypeSocioeconomicClass : Fintype SocioeconomicClass

Equations

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

inductive Labov2006.SocialClass : Type

The social class index of Table 8.2, which crosses education with occupation.

• sc1 : SocialClass

  SC 1: no high school

• sc2 : SocialClass

  SC 2: at least some high school, blue-collar occupation

• sc3 : SocialClass

  SC 3: at least some high school, white-collar occupation

• sc4 : SocialClass

  SC 4: at least some high school, professional occupation

@[instance_reducible]

instance Labov2006.instDecidableEqSocialClass : DecidableEq SocialClass

Equations

• Labov2006.instDecidableEqSocialClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprSocialClass : Repr SocialClass

Equations

• Labov2006.instReprSocialClass = { reprPrec := Labov2006.instReprSocialClass.repr }

def Labov2006.instReprSocialClass.repr : SocialClass → ℕ → Std.Format

Equations

• Labov2006.instReprSocialClass.repr Labov2006.SocialClass.sc1 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.SocialClass.sc1")).group prec✝
• Labov2006.instReprSocialClass.repr Labov2006.SocialClass.sc2 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.SocialClass.sc2")).group prec✝
• Labov2006.instReprSocialClass.repr Labov2006.SocialClass.sc3 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.SocialClass.sc3")).group prec✝
• Labov2006.instReprSocialClass.repr Labov2006.SocialClass.sc4 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.SocialClass.sc4")).group prec✝

@[instance_reducible]

instance Labov2006.instFintypeSocialClass : Fintype SocialClass

Equations

• Labov2006.instFintypeSocialClass = { elems := { val := ↑Labov2006.SocialClass.enumList, nodup := Labov2006.SocialClass.enumList_nodup }, complete := Labov2006.instFintypeSocialClass._proof_1 }

inductive Labov2006.AgeGroup : Type

The two adult age groups of the apparent-time tables.

• younger : AgeGroup

  20–39: speakers aged 20 to 39

• older : AgeGroup

  40–: speakers aged 40 and over

@[instance_reducible]

instance Labov2006.instDecidableEqAgeGroup : DecidableEq AgeGroup

Equations

• Labov2006.instDecidableEqAgeGroup x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprAgeGroup.repr : AgeGroup → ℕ → Std.Format

Equations

• Labov2006.instReprAgeGroup.repr Labov2006.AgeGroup.younger prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.AgeGroup.younger")).group prec✝
• Labov2006.instReprAgeGroup.repr Labov2006.AgeGroup.older prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.AgeGroup.older")).group prec✝

@[instance_reducible]

instance Labov2006.instReprAgeGroup : Repr AgeGroup

Equations

• Labov2006.instReprAgeGroup = { reprPrec := Labov2006.instReprAgeGroup.repr }

@[instance_reducible]

instance Labov2006.instFintypeAgeGroup : Fintype AgeGroup

Equations

• Labov2006.instFintypeAgeGroup = { elems := { val := ↑Labov2006.AgeGroup.enumList, nodup := Labov2006.AgeGroup.enumList_nodup }, complete := Labov2006.instFintypeAgeGroup._proof_1 }

inductive Labov2006.AgeLevel : Type

The three age levels of Table 9.10.

• youth : AgeLevel

  8–19: speakers aged 8 to 19

• younger : AgeLevel

  20–39: speakers aged 20 to 39

• older : AgeLevel

  40–: speakers aged 40 and over

@[instance_reducible]

instance Labov2006.instDecidableEqAgeLevel : DecidableEq AgeLevel

Equations

• Labov2006.instDecidableEqAgeLevel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprAgeLevel.repr : AgeLevel → ℕ → Std.Format

Equations

• Labov2006.instReprAgeLevel.repr Labov2006.AgeLevel.youth prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.AgeLevel.youth")).group prec✝
• Labov2006.instReprAgeLevel.repr Labov2006.AgeLevel.younger prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.AgeLevel.younger")).group prec✝
• Labov2006.instReprAgeLevel.repr Labov2006.AgeLevel.older prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Labov2006.AgeLevel.older")).group prec✝

@[instance_reducible]

instance Labov2006.instReprAgeLevel : Repr AgeLevel

Equations

• Labov2006.instReprAgeLevel = { reprPrec := Labov2006.instReprAgeLevel.repr }

@[instance_reducible]

instance Labov2006.instFintypeAgeLevel : Fintype AgeLevel

Equations

• Labov2006.instFintypeAgeLevel = { elems := { val := ↑Labov2006.AgeLevel.enumList, nodup := Labov2006.AgeLevel.enumList_nodup }, complete := Labov2006.instFintypeAgeLevel._proof_1 }

inductive Labov2006.AehAgeLevel : Type

The five age levels of Table 9.14.

• age8to19 : AehAgeLevel

  8–19: speakers aged 8 to 19

• age20to39 : AehAgeLevel

  20–39: speakers aged 20 to 39

• age40to49 : AehAgeLevel

  40–49: speakers aged 40 to 49

• age50to59 : AehAgeLevel

  50–59: speakers aged 50 to 59

• age60 : AehAgeLevel

  60–: speakers aged 60 and over

@[instance_reducible]

instance Labov2006.instDecidableEqAehAgeLevel : DecidableEq AehAgeLevel

Equations

• Labov2006.instDecidableEqAehAgeLevel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprAehAgeLevel.repr : AehAgeLevel → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprAehAgeLevel : Repr AehAgeLevel

Equations

• Labov2006.instReprAehAgeLevel = { reprPrec := Labov2006.instReprAehAgeLevel.repr }

@[instance_reducible]

instance Labov2006.instFintypeAehAgeLevel : Fintype AehAgeLevel

Equations

• Labov2006.instFintypeAehAgeLevel = { elems := { val := ↑Labov2006.AehAgeLevel.enumList, nodup := Labov2006.AehAgeLevel.enumList_nodup }, complete := Labov2006.instFintypeAehAgeLevel._proof_1 }

inductive Labov2006.OhAgeLevel : Type

The five age levels of the (oh) table 9.17.

• age8to19 : OhAgeLevel

  8–19: speakers aged 8 to 19

• age20to35 : OhAgeLevel

  20–35: speakers aged 20 to 35

• age36to49 : OhAgeLevel

  36–49: speakers aged 36 to 49

• age50to59 : OhAgeLevel

  50–59: speakers aged 50 to 59

• age60 : OhAgeLevel

  60–: speakers aged 60 and over

@[instance_reducible]

instance Labov2006.instDecidableEqOhAgeLevel : DecidableEq OhAgeLevel

Equations

• Labov2006.instDecidableEqOhAgeLevel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Labov2006.instReprOhAgeLevel.repr : OhAgeLevel → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprOhAgeLevel : Repr OhAgeLevel

Equations

• Labov2006.instReprOhAgeLevel = { reprPrec := Labov2006.instReprOhAgeLevel.repr }

@[instance_reducible]

instance Labov2006.instFintypeOhAgeLevel : Fintype OhAgeLevel

Equations

• Labov2006.instFintypeOhAgeLevel = { elems := { val := ↑Labov2006.OhAgeLevel.enumList, nodup := Labov2006.OhAgeLevel.enumList_nodup }, complete := Labov2006.instFintypeOhAgeLevel._proof_1 }

structure Labov2006.CompleteResponses : Type

A row of Table 3.4, p. 49: the percentage of a store's employees with complete responses who used constricted (r) in all four positions, in some, and in none, and their number.

• allR1 : ℕ

  The percentage using (r-1) in all four positions.

• someR1 : ℕ

  The percentage using (r-1) in some positions.

• noR1 : ℕ

  The percentage using no (r-1).

• n : ℕ

  The number of employees with complete responses.

@[instance_reducible]

instance Labov2006.instDecidableEqCompleteResponses : DecidableEq CompleteResponses

Equations

• Labov2006.instDecidableEqCompleteResponses = Labov2006.instDecidableEqCompleteResponses.decEq

def Labov2006.instDecidableEqCompleteResponses.decEq (x✝ x✝¹ : CompleteResponses) : Decidable (x✝ = x✝¹)

Equations

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

def Labov2006.instReprCompleteResponses.repr : CompleteResponses → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprCompleteResponses : Repr CompleteResponses

Equations

• Labov2006.instReprCompleteResponses = { reprPrec := Labov2006.instReprCompleteResponses.repr }

def Labov2006.completeResponses : Store → CompleteResponses

The cells of Table 3.4, p. 49, by store; checked against the page images.

Equations

• Labov2006.completeResponses Labov2006.Store.saks = { allR1 := 24, someR1 := 46, noR1 := 30, n := 33 }
• Labov2006.completeResponses Labov2006.Store.macys = { allR1 := 22, someR1 := 37, noR1 := 41, n := 48 }
• Labov2006.completeResponses Labov2006.Store.klein = { allR1 := 6, someR1 := 12, noR1 := 82, n := 34 }

structure Labov2006.FourthStops : Type

A row of p. 52: the percentage of a store's employees who used a stop for (th) in fourth.

• percent : ℕ

  The percentage using a stop, printed with two digits.

@[instance_reducible]

instance Labov2006.instDecidableEqFourthStops : DecidableEq FourthStops

Equations

• Labov2006.instDecidableEqFourthStops = Labov2006.instDecidableEqFourthStops.decEq

def Labov2006.instDecidableEqFourthStops.decEq (x✝ x✝¹ : FourthStops) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Labov2006.instReprFourthStops : Repr FourthStops

Equations

• Labov2006.instReprFourthStops = { reprPrec := Labov2006.instReprFourthStops.repr }

def Labov2006.instReprFourthStops.repr : FourthStops → ℕ → Std.Format

Equations

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

def Labov2006.fourthStops : Store → FourthStops

The cells of p. 52, by store; checked against the page images.

Equations

• Labov2006.fourthStops Labov2006.Store.saks = { percent := 0 }
• Labov2006.fourthStops Labov2006.Store.macys = { percent := 4 }
• Labov2006.fourthStops Labov2006.Store.klein = { percent := 15 }

structure Labov2006.StratificationRow : Type

A row of Table 7.8, p. 140: the index of a variable for a class group in each style the variable was measured in, with the number of informants behind each cell.

• casual : Option Data.Experiments.Decimal

  The index in casual speech.

• careful : Option Data.Experiments.Decimal

  The index in careful speech.

• reading : Option Data.Experiments.Decimal

  The index in reading style.

• wordList : Option Data.Experiments.Decimal

  The index in word lists.

• minimalPair : Option Data.Experiments.Decimal

  The index in minimal pairs.

• nCasual : Option ℕ

  The number of informants in casual speech.

• nCareful : Option ℕ

  The number of informants in careful speech.

• nReading : Option ℕ

  The number of informants in reading style.

• nWordList : Option ℕ

  The number of informants in word lists.

• nMinimalPair : Option ℕ

  The number of informants in minimal pairs.

@[instance_reducible]

instance Labov2006.instDecidableEqStratificationRow : DecidableEq StratificationRow

Equations

• Labov2006.instDecidableEqStratificationRow = Labov2006.instDecidableEqStratificationRow.decEq

def Labov2006.instDecidableEqStratificationRow.decEq (x✝ x✝¹ : StratificationRow) : Decidable (x✝ = x✝¹)

Equations

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

def Labov2006.instReprStratificationRow.repr : StratificationRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprStratificationRow : Repr StratificationRow

Equations

• Labov2006.instReprStratificationRow = { reprPrec := Labov2006.instReprStratificationRow.repr }

def Labov2006.classStratification : ClassGroup → Variable → StratificationRow

The cells of Table 7.8, p. 140, by group and variable; checked against the page images.

Equations

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

structure Labov2006.UpglidingCell : Type

A row of Table 9.7, p. 214: the percentage of speakers of an age group and socioeconomic class who used any upgliding /ʌy/, as in bird, in any style, and their number.

• percent : ℕ

  The percentage using any /ʌy/.

• n : ℕ

  The number of speakers.

@[instance_reducible]

instance Labov2006.instDecidableEqUpglidingCell : DecidableEq UpglidingCell

Equations

• Labov2006.instDecidableEqUpglidingCell = Labov2006.instDecidableEqUpglidingCell.decEq

def Labov2006.instDecidableEqUpglidingCell.decEq (x✝ x✝¹ : UpglidingCell) : Decidable (x✝ = x✝¹)

Equations

• Labov2006.instDecidableEqUpglidingCell.decEq { percent := a, n := a_1 } { percent := b, n := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprUpglidingCell : Repr UpglidingCell

Equations

• Labov2006.instReprUpglidingCell = { reprPrec := Labov2006.instReprUpglidingCell.repr }

def Labov2006.instReprUpglidingCell.repr : UpglidingCell → ℕ → Std.Format

Equations

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

def Labov2006.upglidingByAgeAndClass : AgeGroup → SocioeconomicClass → UpglidingCell

The cells of Table 9.7, p. 214, by ageGroup and socioeconomicClass; checked against the page images.

Equations

• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocioeconomicClass.lower = { percent := 75, n := 4 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocioeconomicClass.working = { percent := 35, n := 16 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocioeconomicClass.lowerMiddle = { percent := 9, n := 11 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocioeconomicClass.upperMiddle = { percent := 0, n := 7 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocioeconomicClass.lower = { percent := 85, n := 13 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocioeconomicClass.working = { percent := 57, n := 35 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocioeconomicClass.lowerMiddle = { percent := 35, n := 17 }
• Labov2006.upglidingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocioeconomicClass.upperMiddle = { percent := 0, n := 7 }

structure Labov2006.RCasualCell : Type

A row of Table 9.10, p. 218: the average (r) index in casual speech of an age level and socioeconomic group, and the number of speakers.

• index : ℕ

  The average (r) index.

• n : ℕ

  The number of speakers.

@[instance_reducible]

instance Labov2006.instDecidableEqRCasualCell : DecidableEq RCasualCell

Equations

• Labov2006.instDecidableEqRCasualCell = Labov2006.instDecidableEqRCasualCell.decEq

def Labov2006.instDecidableEqRCasualCell.decEq (x✝ x✝¹ : RCasualCell) : Decidable (x✝ = x✝¹)

Equations

• Labov2006.instDecidableEqRCasualCell.decEq { index := a, n := a_1 } { index := b, n := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

def Labov2006.instReprRCasualCell.repr : RCasualCell → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprRCasualCell : Repr RCasualCell

Equations

• Labov2006.instReprRCasualCell = { reprPrec := Labov2006.instReprRCasualCell.repr }

def Labov2006.rCasualByAgeAndClass : AgeLevel → SocioeconomicClass → RCasualCell

The cells of Table 9.10, p. 218, by ageLevel and socioeconomicClass; checked against the page images.

Equations

• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.youth Labov2006.SocioeconomicClass.lower = { index := 0, n := 6 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.youth Labov2006.SocioeconomicClass.working = { index := 1, n := 16 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.youth Labov2006.SocioeconomicClass.lowerMiddle = { index := 0, n := 6 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.youth Labov2006.SocioeconomicClass.upperMiddle = { index := 48, n := 4 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.younger Labov2006.SocioeconomicClass.lower = { index := 0, n := 3 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.younger Labov2006.SocioeconomicClass.working = { index := 0, n := 13 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.younger Labov2006.SocioeconomicClass.lowerMiddle = { index := 0, n := 9 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.younger Labov2006.SocioeconomicClass.upperMiddle = { index := 34, n := 4 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.older Labov2006.SocioeconomicClass.lower = { index := 0, n := 10 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.older Labov2006.SocioeconomicClass.working = { index := 6, n := 25 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.older Labov2006.SocioeconomicClass.lowerMiddle = { index := 9, n := 8 }
• Labov2006.rCasualByAgeAndClass Labov2006.AgeLevel.older Labov2006.SocioeconomicClass.upperMiddle = { index := 9, n := 7 }

structure Labov2006.SomeRCasualRow : Type

A row of Table 9.11, p. 218: the percentage of speakers of an age group who used some (r-1) in casual speech, for socioeconomic groups 0–8 together and for group 9.

• lowerClasses : ℕ

  The percentage among socioeconomic classes 0–8.

• upperMiddle : ℕ

  The percentage in socioeconomic class 9.

def Labov2006.instDecidableEqSomeRCasualRow.decEq (x✝ x✝¹ : SomeRCasualRow) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Labov2006.instDecidableEqSomeRCasualRow : DecidableEq SomeRCasualRow

Equations

• Labov2006.instDecidableEqSomeRCasualRow = Labov2006.instDecidableEqSomeRCasualRow.decEq

@[instance_reducible]

instance Labov2006.instReprSomeRCasualRow : Repr SomeRCasualRow

Equations

• Labov2006.instReprSomeRCasualRow = { reprPrec := Labov2006.instReprSomeRCasualRow.repr }

def Labov2006.instReprSomeRCasualRow.repr : SomeRCasualRow → ℕ → Std.Format

Equations

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

def Labov2006.someRCasualByAge : AgeGroup → SomeRCasualRow

The cells of Table 9.11, p. 218, by ageGroup; checked against the page images.

Equations

• Labov2006.someRCasualByAge Labov2006.AgeGroup.younger = { lowerClasses := 6, upperMiddle := 87 }
• Labov2006.someRCasualByAge Labov2006.AgeGroup.older = { lowerClasses := 31, upperMiddle := 43 }

structure Labov2006.AehCell : Type

A row of Table 9.13, p. 227: the average (æh) index in casual speech of an age group and social class, and the number of speakers.

• index : ℕ

  The average (æh) index.

• n : ℕ

  The number of speakers.

def Labov2006.instDecidableEqAehCell.decEq (x✝ x✝¹ : AehCell) : Decidable (x✝ = x✝¹)

Equations

• Labov2006.instDecidableEqAehCell.decEq { index := a, n := a_1 } { index := b, n := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instDecidableEqAehCell : DecidableEq AehCell

Equations

• Labov2006.instDecidableEqAehCell = Labov2006.instDecidableEqAehCell.decEq

def Labov2006.instReprAehCell.repr : AehCell → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprAehCell : Repr AehCell

Equations

• Labov2006.instReprAehCell = { reprPrec := Labov2006.instReprAehCell.repr }

def Labov2006.aehByAgeAndClass : AgeGroup → SocialClass → AehCell

The cells of Table 9.13, p. 227, by ageGroup and socialClass; checked against the page images.

Equations

• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc1 = { index := 24, n := 2 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc2 = { index := 24, n := 11 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc3 = { index := 22, n := 5 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc4 = { index := 35, n := 4 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc1 = { index := 27, n := 17 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc2 = { index := 26, n := 8 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc3 = { index := 25, n := 10 }
• Labov2006.aehByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc4 = { index := 31, n := 6 }

structure Labov2006.AehLowerClassRow : Type

A row of Table 9.14, p. 227: the (æh) index of the lower class SC 1 at each age level.

• index : ℕ

  The (æh) index.

@[instance_reducible]

instance Labov2006.instDecidableEqAehLowerClassRow : DecidableEq AehLowerClassRow

Equations

• Labov2006.instDecidableEqAehLowerClassRow = Labov2006.instDecidableEqAehLowerClassRow.decEq

def Labov2006.instDecidableEqAehLowerClassRow.decEq (x✝ x✝¹ : AehLowerClassRow) : Decidable (x✝ = x✝¹)

Equations

• Labov2006.instDecidableEqAehLowerClassRow.decEq { index := a } { index := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Labov2006.instReprAehLowerClassRow : Repr AehLowerClassRow

Equations

• Labov2006.instReprAehLowerClassRow = { reprPrec := Labov2006.instReprAehLowerClassRow.repr }

def Labov2006.instReprAehLowerClassRow.repr : AehLowerClassRow → ℕ → Std.Format

Equations

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

def Labov2006.aehLowerClassByAge : AehAgeLevel → AehLowerClassRow

The cells of Table 9.14, p. 227, by ageLevel; checked against the page images.

Equations

• Labov2006.aehLowerClassByAge Labov2006.AehAgeLevel.age8to19 = { index := 20 }
• Labov2006.aehLowerClassByAge Labov2006.AehAgeLevel.age20to39 = { index := 24 }
• Labov2006.aehLowerClassByAge Labov2006.AehAgeLevel.age40to49 = { index := 26 }
• Labov2006.aehLowerClassByAge Labov2006.AehAgeLevel.age50to59 = { index := 28 }
• Labov2006.aehLowerClassByAge Labov2006.AehAgeLevel.age60 = { index := 28 }

structure Labov2006.OhCell : Type

A row of Table 9.16, p. 229: the average (oh) index in casual speech of an age group and social class, and the number of speakers.

• index : ℕ

  The average (oh) index.

• n : ℕ

  The number of speakers.

@[instance_reducible]

instance Labov2006.instDecidableEqOhCell : DecidableEq OhCell

Equations

• Labov2006.instDecidableEqOhCell = Labov2006.instDecidableEqOhCell.decEq

def Labov2006.instDecidableEqOhCell.decEq (x✝ x✝¹ : OhCell) : Decidable (x✝ = x✝¹)

Equations

• Labov2006.instDecidableEqOhCell.decEq { index := a, n := a_1 } { index := b, n := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

def Labov2006.instReprOhCell.repr : OhCell → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprOhCell : Repr OhCell

Equations

• Labov2006.instReprOhCell = { reprPrec := Labov2006.instReprOhCell.repr }

def Labov2006.ohByAgeAndClass : AgeGroup → SocialClass → OhCell

The cells of Table 9.16, p. 229, by ageGroup and socialClass; checked against the page images.

Equations

• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc1 = { index := 21, n := 3 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc2 = { index := 22, n := 12 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc3 = { index := 18, n := 6 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc4 = { index := 22, n := 5 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc1 = { index := 23, n := 17 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc2 = { index := 22, n := 9 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc3 = { index := 19, n := 12 }
• Labov2006.ohByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc4 = { index := 22, n := 6 }

structure Labov2006.OhEthnicRow : Type

A row of Table 9.17, p. 229: the average (oh) index at an age level of Jews, Italians and other speakers in social classes 1–3, and of the upper middle class SC 4; the dash of the oldest SC 4 cell is blank.

• jews : ℕ

  The index of the Jewish speakers of SC 1–3.

• italians : ℕ

  The index of the Italian speakers of SC 1–3.

• others : ℕ

  The index of the other speakers of SC 1–3.

• upperMiddle : Option ℕ

  The index of SC 4.

@[instance_reducible]

instance Labov2006.instDecidableEqOhEthnicRow : DecidableEq OhEthnicRow

Equations

• Labov2006.instDecidableEqOhEthnicRow = Labov2006.instDecidableEqOhEthnicRow.decEq

def Labov2006.instDecidableEqOhEthnicRow.decEq (x✝ x✝¹ : OhEthnicRow) : Decidable (x✝ = x✝¹)

Equations

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

def Labov2006.instReprOhEthnicRow.repr : OhEthnicRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Labov2006.instReprOhEthnicRow : Repr OhEthnicRow

Equations

• Labov2006.instReprOhEthnicRow = { reprPrec := Labov2006.instReprOhEthnicRow.repr }

def Labov2006.ohByAgeAndEthnicity : OhAgeLevel → OhEthnicRow

The cells of Table 9.17, p. 229, by ageLevel; checked against the page images.

Equations

• Labov2006.ohByAgeAndEthnicity Labov2006.OhAgeLevel.age8to19 = { jews := 17, italians := 18, others := 22, upperMiddle := some 23 }
• Labov2006.ohByAgeAndEthnicity Labov2006.OhAgeLevel.age20to35 = { jews := 18, italians := 18, others := 16, upperMiddle := some 22 }
• Labov2006.ohByAgeAndEthnicity Labov2006.OhAgeLevel.age36to49 = { jews := 17, italians := 20, others := 18, upperMiddle := some 22 }
• Labov2006.ohByAgeAndEthnicity Labov2006.OhAgeLevel.age50to59 = { jews := 15, italians := 20, others := 15, upperMiddle := some 22 }
• Labov2006.ohByAgeAndEthnicity Labov2006.OhAgeLevel.age60 = { jews := 25, italians := 30, others := 25, upperMiddle := none }

structure Labov2006.ThDhCell : Type

A row of Table 9.18, p. 234: the average (th) and (dh) indexes in casual speech of an age group and social class, with the number of speakers behind each.

• th : ℕ

  The average (th) index.

• dh : ℕ

  The average (dh) index.

• nTh : ℕ

  The number of speakers for (th).

• nDh : ℕ

  The number of speakers for (dh).

@[instance_reducible]

instance Labov2006.instDecidableEqThDhCell : DecidableEq ThDhCell

Equations

• Labov2006.instDecidableEqThDhCell = Labov2006.instDecidableEqThDhCell.decEq

def Labov2006.instDecidableEqThDhCell.decEq (x✝ x✝¹ : ThDhCell) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Labov2006.instReprThDhCell : Repr ThDhCell

Equations

• Labov2006.instReprThDhCell = { reprPrec := Labov2006.instReprThDhCell.repr }

def Labov2006.instReprThDhCell.repr : ThDhCell → ℕ → Std.Format

Equations

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

def Labov2006.thDhByAgeAndClass : AgeGroup → SocialClass → ThDhCell

The cells of Table 9.18, p. 234, by ageGroup and socialClass; checked against the page images.

Equations

• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc1 = { th := 111, dh := 109, nTh := 3, nDh := 3 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc2 = { th := 46, dh := 59, nTh := 12, nDh := 12 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc3 = { th := 34, dh := 41, nTh := 6, nDh := 6 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc4 = { th := 6, dh := 10, nTh := 5, nDh := 6 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc1 = { th := 92, dh := 87, nTh := 19, nDh := 20 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc2 = { th := 30, dh := 45, nTh := 5, nDh := 8 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc3 = { th := 23, dh := 18, nTh := 7, nDh := 10 }
• Labov2006.thDhByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc4 = { th := 18, dh := 32, nTh := 3, nDh := 5 }

structure Labov2006.PooledRow : Type

A row of Table 9.19, p. 234: the (th), (dh) and (r) indexes of social classes 1–3 taken together, by age group.

• th : ℕ

  The (th) index of SC 1–3.

• dh : ℕ

  The (dh) index of SC 1–3.

• r : ℕ

  The (r) index of SC 1–3.

@[instance_reducible]

instance Labov2006.instDecidableEqPooledRow : DecidableEq PooledRow

Equations

• Labov2006.instDecidableEqPooledRow = Labov2006.instDecidableEqPooledRow.decEq

def Labov2006.instDecidableEqPooledRow.decEq (x✝ x✝¹ : PooledRow) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Labov2006.instReprPooledRow : Repr PooledRow

Equations

• Labov2006.instReprPooledRow = { reprPrec := Labov2006.instReprPooledRow.repr }

def Labov2006.instReprPooledRow.repr : PooledRow → ℕ → Std.Format

Equations

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

def Labov2006.pooledLowerClasses : AgeGroup → PooledRow

The cells of Table 9.19, p. 234, by ageGroup; checked against the page images.

Equations

• Labov2006.pooledLowerClasses Labov2006.AgeGroup.younger = { th := 57, dh := 59, r := 0 }
• Labov2006.pooledLowerClasses Labov2006.AgeGroup.older = { th := 69, dh := 61, r := 5 }

structure Labov2006.IngCell : Type

A row of Table 10.10, p. 258: the average (ing) index, the percentage of /in/, of adult white New York City informants of an age group and social class in casual and in careful speech, with the number of speakers behind each.

• casual : ℕ

  The index in casual speech, Style A.

• careful : ℕ

  The index in careful speech, Style B.

• nCasual : ℕ

  The number of speakers in casual speech.

• nCareful : ℕ

  The number of speakers in careful speech.

def Labov2006.instDecidableEqIngCell.decEq (x✝ x✝¹ : IngCell) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Labov2006.instDecidableEqIngCell : DecidableEq IngCell

Equations

• Labov2006.instDecidableEqIngCell = Labov2006.instDecidableEqIngCell.decEq

@[instance_reducible]

instance Labov2006.instReprIngCell : Repr IngCell

Equations

• Labov2006.instReprIngCell = { reprPrec := Labov2006.instReprIngCell.repr }

def Labov2006.instReprIngCell.repr : IngCell → ℕ → Std.Format

Equations

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

def Labov2006.ingByAgeAndClass : AgeGroup → SocialClass → IngCell

The cells of Table 10.10, p. 258, by ageGroup and socialClass; checked against the page images.

Equations

• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc1 = { casual := 90, careful := 75, nCasual := 2, nCareful := 4 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc2 = { casual := 60, careful := 45, nCasual := 10, nCareful := 14 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc3 = { casual := 43, careful := 50, nCasual := 6, nCareful := 5 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.younger Labov2006.SocialClass.sc4 = { casual := 0, careful := 2, nCasual := 4, nCareful := 9 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc1 = { casual := 85, careful := 50, nCasual := 24, nCareful := 22 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc2 = { casual := 48, careful := 27, nCasual := 8, nCareful := 12 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc3 = { casual := 21, careful := 12, nCasual := 10, nCareful := 21 }
• Labov2006.ingByAgeAndClass Labov2006.AgeGroup.older Labov2006.SocialClass.sc4 = { casual := 23, careful := 2, nCasual := 5, nCareful := 10 }