WALS Feature 124A: 'Want' Complement Subjects

@cite{cristofaro-2013}

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

Chapter 124, 283 languages.

inductive Core.WALS.F124A.WantComplementSubject : Type

WALS 124A values.

• subjectIsLeftImplicit : WantComplementSubject
• subjectIsExpressedOvertly : WantComplementSubject
• bothConstructionTypesExist : WantComplementSubject
• desiderativeVerbalAffix : WantComplementSubject
• desiderativeParticle : WantComplementSubject

instance Core.WALS.F124A.instDecidableEqWantComplementSubject : DecidableEq WantComplementSubject

Equations

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

instance Core.WALS.F124A.instBEqWantComplementSubject : BEq WantComplementSubject

Equations

• Core.WALS.F124A.instBEqWantComplementSubject = { beq := Core.WALS.F124A.instBEqWantComplementSubject.beq }

def Core.WALS.F124A.instBEqWantComplementSubject.beq : WantComplementSubject → WantComplementSubject → Bool

Equations

• Core.WALS.F124A.instBEqWantComplementSubject.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Core.WALS.F124A.instReprWantComplementSubject.repr : WantComplementSubject → Nat → Std.Format

Equations

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

instance Core.WALS.F124A.instReprWantComplementSubject : Repr WantComplementSubject

Equations

• Core.WALS.F124A.instReprWantComplementSubject = { reprPrec := Core.WALS.F124A.instReprWantComplementSubject.repr }

def Core.WALS.F124A.allData : List (Datapoint WantComplementSubject)

Complete WALS 124A dataset (283 languages).

Equations

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

theorem Core.WALS.F124A.total_count : allData.length = 283

theorem Core.WALS.F124A.count_subjectIsLeftImplicit : (List.filter (fun (x : Datapoint WantComplementSubject) => x.value == WantComplementSubject.subjectIsLeftImplicit) allData).length = 144

theorem Core.WALS.F124A.count_subjectIsExpressedOvertly : (List.filter (fun (x : Datapoint WantComplementSubject) => x.value == WantComplementSubject.subjectIsExpressedOvertly) allData).length = 72

theorem Core.WALS.F124A.count_bothConstructionTypesExist : (List.filter (fun (x : Datapoint WantComplementSubject) => x.value == WantComplementSubject.bothConstructionTypesExist) allData).length = 14

theorem Core.WALS.F124A.count_desiderativeVerbalAffix : (List.filter (fun (x : Datapoint WantComplementSubject) => x.value == WantComplementSubject.desiderativeVerbalAffix) allData).length = 45

theorem Core.WALS.F124A.count_desiderativeParticle : (List.filter (fun (x : Datapoint WantComplementSubject) => x.value == WantComplementSubject.desiderativeParticle) allData).length = 8

def Core.WALS.F124A.lookup (code : String) : Option (Datapoint WantComplementSubject)

Look up a language by WALS code.

Equations

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

def Core.WALS.F124A.lookupISO (iso : String) : Option (Datapoint WantComplementSubject)

Look up a language by ISO 639-3 code.

Equations

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