WALS Feature 144M: Multiple Negative Constructions in SOV Languages

@cite{wals-2013}

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

Chapter 144, 54 languages.

inductive Data.WALS.F144M.MultipleNegativeConstructionsInSovLanguages : Type

WALS 144M values.

• sonegvSovneg : MultipleNegativeConstructionsInSovLanguages

  SONegV/SOVNeg (1 languages).

• snegovSonegv : MultipleNegativeConstructionsInSovLanguages

  SNegOV/SONegV (2 languages).

• negsovSnegovSonegv : MultipleNegativeConstructionsInSovLanguages

  NegSOV/SNegOV/SONegV (4 languages).

• negsov2ndpos : MultipleNegativeConstructionsInSovLanguages

  NegSOV/2ndPos (1 languages).

• sovnegSoVNeg : MultipleNegativeConstructionsInSovLanguages

  SOVNeg/SO[V-Neg] (8 languages).

• soNegVSoVNeg : MultipleNegativeConstructionsInSovLanguages

  SO[Neg-V]/SO[V-Neg] (6 languages).

• soNegVSovwithneginfix : MultipleNegativeConstructionsInSovLanguages

  SO[Neg-V]/SOVwithNegInfix (1 languages).

• snegovSonegvSoVNeg : MultipleNegativeConstructionsInSovLanguages

  SNegOV/SONegV/SO[V-Neg] (1 languages).

• sonegvSvoneg : MultipleNegativeConstructionsInSovLanguages

  SONegV/SVONeg (2 languages).

• sovnegSvnego : MultipleNegativeConstructionsInSovLanguages

  SOVNeg/SVNegO (1 languages).

• snegovSovnegSvoneg : MultipleNegativeConstructionsInSovLanguages

  SNegOV/SOVNeg/SVONeg (1 languages).

• negsovSnegovNegsvoSvnego : MultipleNegativeConstructionsInSovLanguages

  NegSOV/SNegOV/NegSVO/SVNegO (1 languages).

• sonegvSovnegSnegvoSvoneg : MultipleNegativeConstructionsInSovLanguages

  SONegV/SOVNeg/SNegVO/SVONeg (1 languages).

• soNegVSNegVO : MultipleNegativeConstructionsInSovLanguages

  SO[Neg-V]/S[Neg-V]O (1 languages).

• soVNegSVNegO : MultipleNegativeConstructionsInSovLanguages

  SO[V-Neg]/S[V-Neg]O/ (2 languages).

• sonegvSoNegVSnegvoSNegVO : MultipleNegativeConstructionsInSovLanguages

  SONegV/SO[Neg-V]/SNegVO/S[Neg-V]O (1 languages).

• negsovNegovs : MultipleNegativeConstructionsInSovLanguages

  NegSOV/NegOVS (1 languages).

• sovnegOvnegs : MultipleNegativeConstructionsInSovLanguages

  SOVNeg/OVNegS (1 languages).

• soVNegOVNegS : MultipleNegativeConstructionsInSovLanguages

  SO[V-Neg]/O[V-Neg]S (1 languages).

• sovNegvVneg : MultipleNegativeConstructionsInSovLanguages

  SOV & NegV/VNeg (a) (5 languages).

• sovNegvNegV : MultipleNegativeConstructionsInSovLanguages

  SOV & NegV/[Neg-V] (3 languages).

• sovNegvVNeg : MultipleNegativeConstructionsInSovLanguages

  SOV & NegV/[V-Neg] (2 languages).

• sovNegvVneg_23 : MultipleNegativeConstructionsInSovLanguages

  SOV & NegV/VNeg (b) (1 languages).

• svOvNegvVneg : MultipleNegativeConstructionsInSovLanguages

  SV & OV & NegV/VNeg (2 languages).

• svOvNegvVNeg : MultipleNegativeConstructionsInSovLanguages

  SV & OV & NegV/[V-Neg] (1 languages).

• svOvNegVVNeg : MultipleNegativeConstructionsInSovLanguages

  SV & OV & [Neg-V]/[V-Neg] (2 languages).

• svOvVnegVNeg : MultipleNegativeConstructionsInSovLanguages

  SV & OV & VNeg/[V-Neg] (1 languages).

@[implicit_reducible]

instance Data.WALS.F144M.instDecidableEqMultipleNegativeConstructionsInSovLanguages : DecidableEq MultipleNegativeConstructionsInSovLanguages

Equations

• Data.WALS.F144M.instDecidableEqMultipleNegativeConstructionsInSovLanguages x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Data.WALS.F144M.instBEqMultipleNegativeConstructionsInSovLanguages : BEq MultipleNegativeConstructionsInSovLanguages

Equations

• Data.WALS.F144M.instBEqMultipleNegativeConstructionsInSovLanguages = { beq := Data.WALS.F144M.instBEqMultipleNegativeConstructionsInSovLanguages.beq }

def Data.WALS.F144M.instBEqMultipleNegativeConstructionsInSovLanguages.beq : MultipleNegativeConstructionsInSovLanguages → MultipleNegativeConstructionsInSovLanguages → Bool

Equations

• Data.WALS.F144M.instBEqMultipleNegativeConstructionsInSovLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F144M.instReprMultipleNegativeConstructionsInSovLanguages.repr : MultipleNegativeConstructionsInSovLanguages → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F144M.instReprMultipleNegativeConstructionsInSovLanguages : Repr MultipleNegativeConstructionsInSovLanguages

Equations

• Data.WALS.F144M.instReprMultipleNegativeConstructionsInSovLanguages = { reprPrec := Data.WALS.F144M.instReprMultipleNegativeConstructionsInSovLanguages.repr }

def Data.WALS.F144M.allData : List (Datapoint MultipleNegativeConstructionsInSovLanguages)

Complete WALS 144M dataset (54 languages).

Equations

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

def Data.WALS.F144M.lookup (code : String) : Option (Datapoint MultipleNegativeConstructionsInSovLanguages)

Look up a language by WALS code.

Equations

• Data.WALS.F144M.lookup code = Data.WALS.Datapoint.lookup Data.WALS.F144M.allData code

def Data.WALS.F144M.lookupISO (iso : String) : Option (Datapoint MultipleNegativeConstructionsInSovLanguages)

Look up a language by ISO 639-3 code.

Equations

• Data.WALS.F144M.lookupISO iso = Data.WALS.Datapoint.lookupISO Data.WALS.F144M.allData iso