WALS Feature 144E: Multiple Negative Constructions in SVO Languages

@cite{wals-2013}

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

Chapter 144, 48 languages.

inductive Data.WALS.F144E.MultipleNegativeConstructionsInSvoLanguages : Type

WALS 144E values.

• snegvoSvnego : MultipleNegativeConstructionsInSvoLanguages

  SNegVO/SVNegO (5 languages).

• negsvoSnegvo : MultipleNegativeConstructionsInSvoLanguages

  NegSVO/SNegVO (3 languages).

• negsvoSvnego : MultipleNegativeConstructionsInSvoLanguages

  NegSVO/SVNegO (1 languages).

• snegvoSvoneg : MultipleNegativeConstructionsInSvoLanguages

  SNegVO/SVONeg (1 languages).

• svnegoSvoneg : MultipleNegativeConstructionsInSvoLanguages

  SVNegO/SVONeg (2 languages).

• svoFlexibleNeg : MultipleNegativeConstructionsInSvoLanguages

  SVO & Flexible Neg (1 languages).

• snegvoSVNegO : MultipleNegativeConstructionsInSvoLanguages

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

• sNegVOSvnego : MultipleNegativeConstructionsInSvoLanguages

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

• negsvoSnegvoSVNegO : MultipleNegativeConstructionsInSvoLanguages

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

• snegvoNegvso : MultipleNegativeConstructionsInSvoLanguages

  SNegVO/NegVSO (5 languages).

• svonegVsoneg : MultipleNegativeConstructionsInSvoLanguages

  SVONeg/VSONeg (1 languages).

• negsvoNegvos : MultipleNegativeConstructionsInSvoLanguages

  NegSVO/NegVOS (1 languages).

• snegvoNegvos : MultipleNegativeConstructionsInSvoLanguages

  SNegVO/NegVOS (2 languages).

• sNegVONegVOs : MultipleNegativeConstructionsInSvoLanguages

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

• svonegSonegv : MultipleNegativeConstructionsInSvoLanguages

  SVONeg/SONegV (2 languages).

• svnegoSovneg : MultipleNegativeConstructionsInSvoLanguages

  SVNegO/SOVNeg (1 languages).

• svonegSnegovSovneg : MultipleNegativeConstructionsInSvoLanguages

  SVONeg/SNegOV/SOVNeg (1 languages).

• negsvoSvnegoNegsovSnegov : MultipleNegativeConstructionsInSvoLanguages

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

• snegvoSonegvSvonegSovneg : MultipleNegativeConstructionsInSvoLanguages

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

• sNegVOSoNegV : MultipleNegativeConstructionsInSvoLanguages

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

• sVNegOSoVNeg : MultipleNegativeConstructionsInSvoLanguages

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

• snegvoSonegvSNegVOSoNegV : MultipleNegativeConstructionsInSvoLanguages

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

• negsvoONegVS : MultipleNegativeConstructionsInSvoLanguages

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

• svoNegvVneg : MultipleNegativeConstructionsInSvoLanguages

  SVO & NegV/VNeg (1 languages).

• svoNegvVNeg : MultipleNegativeConstructionsInSvoLanguages

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

• svoVsoNegv : MultipleNegativeConstructionsInSvoLanguages

  SVO/VSO & NegV (2 languages).

• svoVosNegv : MultipleNegativeConstructionsInSvoLanguages

  SVO/VOS & NegV (2 languages).

• svoSovNegvVneg : MultipleNegativeConstructionsInSvoLanguages

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

@[implicit_reducible]

instance Data.WALS.F144E.instDecidableEqMultipleNegativeConstructionsInSvoLanguages : DecidableEq MultipleNegativeConstructionsInSvoLanguages

Equations

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

@[implicit_reducible]

instance Data.WALS.F144E.instBEqMultipleNegativeConstructionsInSvoLanguages : BEq MultipleNegativeConstructionsInSvoLanguages

Equations

• Data.WALS.F144E.instBEqMultipleNegativeConstructionsInSvoLanguages = { beq := Data.WALS.F144E.instBEqMultipleNegativeConstructionsInSvoLanguages.beq }

def Data.WALS.F144E.instBEqMultipleNegativeConstructionsInSvoLanguages.beq : MultipleNegativeConstructionsInSvoLanguages → MultipleNegativeConstructionsInSvoLanguages → Bool

Equations

• Data.WALS.F144E.instBEqMultipleNegativeConstructionsInSvoLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F144E.instReprMultipleNegativeConstructionsInSvoLanguages.repr : MultipleNegativeConstructionsInSvoLanguages → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F144E.instReprMultipleNegativeConstructionsInSvoLanguages : Repr MultipleNegativeConstructionsInSvoLanguages

Equations

• Data.WALS.F144E.instReprMultipleNegativeConstructionsInSvoLanguages = { reprPrec := Data.WALS.F144E.instReprMultipleNegativeConstructionsInSvoLanguages.repr }

def Data.WALS.F144E.allData : List (Datapoint MultipleNegativeConstructionsInSvoLanguages)

Complete WALS 144E dataset (48 languages).

Equations

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

def Data.WALS.F144E.lookup (code : String) : Option (Datapoint MultipleNegativeConstructionsInSvoLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144E.lookupISO (iso : String) : Option (Datapoint MultipleNegativeConstructionsInSvoLanguages)

Look up a language by ISO 639-3 code.

Equations

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