WALS Feature 144L: The Position of Negative Morphemes 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 144L.

Chapter 144, 573 languages.

inductive Data.WALS.F144L.PositionOfNegativeMorphemesInSovLanguages : Type

WALS 144L values.

• negsov : PositionOfNegativeMorphemesInSovLanguages

  NegSOV (10 languages).

• snegov : PositionOfNegativeMorphemesInSovLanguages

  SNegOV (11 languages).

• sonegv : PositionOfNegativeMorphemesInSovLanguages

  SONegV (64 languages).

• sovneg : PositionOfNegativeMorphemesInSovLanguages

  SOVNeg (48 languages).

• soNegV : PositionOfNegativeMorphemesInSovLanguages

  SO[Neg-V] (49 languages).

• soVNeg : PositionOfNegativeMorphemesInSovLanguages

  SO[V-Neg] (128 languages).

• svoButSnegov : PositionOfNegativeMorphemesInSovLanguages

  SVO but SNegOV (3 languages).

• svoButSonegv : PositionOfNegativeMorphemesInSovLanguages

  SVO but SONegV (1 languages).

• svoButSovneg : PositionOfNegativeMorphemesInSovLanguages

  SVO but SOVNeg (1 languages).

• svoButSoVNeg : PositionOfNegativeMorphemesInSovLanguages

  SVO but SO[V-Neg] (1 languages).

• svoButSoNegV : PositionOfNegativeMorphemesInSovLanguages

  SVO but SO[Neg-V] (1 languages).

• svoSovButSnegov : PositionOfNegativeMorphemesInSovLanguages

  SVO/SOV but SNegOV (1 languages).

• svoSovButSovneg : PositionOfNegativeMorphemesInSovLanguages

  SVO/SOV but SOVNeg (1 languages).

• otherNegv : PositionOfNegativeMorphemesInSovLanguages

  Other NegV (57 languages).

• moreThanOneConstruction : PositionOfNegativeMorphemesInSovLanguages

  More than one construction (54 languages).

• obligdoubleneg : PositionOfNegativeMorphemesInSovLanguages

  ObligDoubleNeg (45 languages).

• optdoubleneg : PositionOfNegativeMorphemesInSovLanguages

  OptDoubleNeg (31 languages).

• svOvNegv : PositionOfNegativeMorphemesInSovLanguages

  SV&OV&NegV (13 languages).

• svOvVneg : PositionOfNegativeMorphemesInSovLanguages

  SV&OV&VNeg (8 languages).

• svOvNegV : PositionOfNegativeMorphemesInSovLanguages

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

• svOvVNeg : PositionOfNegativeMorphemesInSovLanguages

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

• svOvImmedpreverbal : PositionOfNegativeMorphemesInSovLanguages

  SV&OV&ImmedPreverbal (5 languages).

• svOvInitialneg : PositionOfNegativeMorphemesInSovLanguages

  SV&OV&InitialNeg (4 languages).

@[implicit_reducible]

instance Data.WALS.F144L.instDecidableEqPositionOfNegativeMorphemesInSovLanguages : DecidableEq PositionOfNegativeMorphemesInSovLanguages

Equations

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

@[implicit_reducible]

instance Data.WALS.F144L.instBEqPositionOfNegativeMorphemesInSovLanguages : BEq PositionOfNegativeMorphemesInSovLanguages

Equations

• Data.WALS.F144L.instBEqPositionOfNegativeMorphemesInSovLanguages = { beq := Data.WALS.F144L.instBEqPositionOfNegativeMorphemesInSovLanguages.beq }

def Data.WALS.F144L.instBEqPositionOfNegativeMorphemesInSovLanguages.beq : PositionOfNegativeMorphemesInSovLanguages → PositionOfNegativeMorphemesInSovLanguages → Bool

Equations

• Data.WALS.F144L.instBEqPositionOfNegativeMorphemesInSovLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144L.instReprPositionOfNegativeMorphemesInSovLanguages : Repr PositionOfNegativeMorphemesInSovLanguages

Equations

• Data.WALS.F144L.instReprPositionOfNegativeMorphemesInSovLanguages = { reprPrec := Data.WALS.F144L.instReprPositionOfNegativeMorphemesInSovLanguages.repr }

def Data.WALS.F144L.instReprPositionOfNegativeMorphemesInSovLanguages.repr : PositionOfNegativeMorphemesInSovLanguages → Nat → Std.Format

Equations

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

def Data.WALS.F144L.allData : List (Datapoint PositionOfNegativeMorphemesInSovLanguages)

Complete WALS 144L dataset (573 languages).

Equations

• Data.WALS.F144L.allData = Data.WALS.F144L.allData_0✝ ++ Data.WALS.F144L.allData_1✝

def Data.WALS.F144L.lookup (code : String) : Option (Datapoint PositionOfNegativeMorphemesInSovLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144L.lookupISO (iso : String) : Option (Datapoint PositionOfNegativeMorphemesInSovLanguages)

Look up a language by ISO 639-3 code.

Equations

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