WALS Feature 34A: Occurrence of Nominal Plurality

@cite{haspelmath-2013b}

Auto-generated from WALS v2020.4 CLDF data. Do not edit by hand — regenerate with python3 scripts/gen_wals.py 34A.

Chapter 34, 291 languages.

inductive Core.WALS.F34A.PluralityOccurrence : Type

WALS 34A values.

• noNominalPlural : PluralityOccurrence
• onlyHumanNounsOptional : PluralityOccurrence
• onlyHumanNounsObligatory : PluralityOccurrence
• allNounsAlwaysOptional : PluralityOccurrence
• allNounsOptionalInInanimates : PluralityOccurrence
• allNounsAlwaysObligatory : PluralityOccurrence

instance Core.WALS.F34A.instDecidableEqPluralityOccurrence : DecidableEq PluralityOccurrence

Equations

• Core.WALS.F34A.instDecidableEqPluralityOccurrence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.WALS.F34A.instBEqPluralityOccurrence.beq : PluralityOccurrence → PluralityOccurrence → Bool

Equations

• Core.WALS.F34A.instBEqPluralityOccurrence.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.WALS.F34A.instBEqPluralityOccurrence : BEq PluralityOccurrence

Equations

• Core.WALS.F34A.instBEqPluralityOccurrence = { beq := Core.WALS.F34A.instBEqPluralityOccurrence.beq }

instance Core.WALS.F34A.instReprPluralityOccurrence : Repr PluralityOccurrence

Equations

• Core.WALS.F34A.instReprPluralityOccurrence = { reprPrec := Core.WALS.F34A.instReprPluralityOccurrence.repr }

def Core.WALS.F34A.instReprPluralityOccurrence.repr : PluralityOccurrence → Nat → Std.Format

Equations

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

def Core.WALS.F34A.allData : List (Datapoint PluralityOccurrence)

Complete WALS 34A dataset (291 languages).

Equations

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

theorem Core.WALS.F34A.total_count : allData.length = 291

theorem Core.WALS.F34A.count_noNominalPlural : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.noNominalPlural) allData).length = 28

theorem Core.WALS.F34A.count_onlyHumanNounsOptional : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.onlyHumanNounsOptional) allData).length = 20

theorem Core.WALS.F34A.count_onlyHumanNounsObligatory : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.onlyHumanNounsObligatory) allData).length = 40

theorem Core.WALS.F34A.count_allNounsAlwaysOptional : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.allNounsAlwaysOptional) allData).length = 55

theorem Core.WALS.F34A.count_allNounsOptionalInInanimates : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.allNounsOptionalInInanimates) allData).length = 15

theorem Core.WALS.F34A.count_allNounsAlwaysObligatory : (List.filter (fun (x : Datapoint PluralityOccurrence) => x.value == PluralityOccurrence.allNounsAlwaysObligatory) allData).length = 133

def Core.WALS.F34A.lookup (code : String) : Option (Datapoint PluralityOccurrence)

Look up a language by WALS code.

Equations

• Core.WALS.F34A.lookup code = Core.WALS.Datapoint.lookup Core.WALS.F34A.allData code

def Core.WALS.F34A.lookupISO (iso : String) : Option (Datapoint PluralityOccurrence)

Look up a language by ISO 639-3 code.

Equations

• Core.WALS.F34A.lookupISO iso = Core.WALS.Datapoint.lookupISO Core.WALS.F34A.allData iso