WALS Feature 144T: The Position of Negative Morphemes in Verb-Initial Languages

@cite{wals-2013}

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

Chapter 144, 152 languages.

inductive Data.WALS.F144T.PositionOfNegativeMorphemesInVerbInitialLanguages : Type

WALS 144T values.

• negvso : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVSO (57 languages).

• vsnego : PositionOfNegativeMorphemesInVerbInitialLanguages

  VSNegO (1 languages).

• vsoneg : PositionOfNegativeMorphemesInVerbInitialLanguages

  VSONeg (1 languages).

• negvos : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVOS (18 languages).

• negvsoNegvos : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVSO/NegVOS (11 languages).

• negvVsVo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegV & VS & VO (16 languages).

• svoButNegvso : PositionOfNegativeMorphemesInVerbInitialLanguages

  SVO but NegVSO (1 languages).

• negVSo : PositionOfNegativeMorphemesInVerbInitialLanguages

  [Neg-V]SO (7 languages).

• negVOs : PositionOfNegativeMorphemesInVerbInitialLanguages

  [Neg-V]OS (2 languages).

• vNegOs : PositionOfNegativeMorphemesInVerbInitialLanguages

  [V-Neg]OS (1 languages).

• vNegVsVo : PositionOfNegativeMorphemesInVerbInitialLanguages

  [V-Neg] & VS &VO (1 languages).

• negvsoNegVSo : PositionOfNegativeMorphemesInVerbInitialLanguages

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

• negvosNegVOs : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVOS/[Neg-V]OS (1 languages).

• negvsoSnegvo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVSO/SNegVO (5 languages).

• vsonegSvoneg : PositionOfNegativeMorphemesInVerbInitialLanguages

  VSONeg/SVONeg (1 languages).

• negvosNegsvo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVOS/NegSVO (1 languages).

• negvosSnegvo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegVOS/SNegVO (2 languages).

• negVOsSNegVO : PositionOfNegativeMorphemesInVerbInitialLanguages

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

• negvVsoSvo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegV & VSO/SVO (2 languages).

• negvVosSvo : PositionOfNegativeMorphemesInVerbInitialLanguages

  NegV & VOS/SVO (2 languages).

• optsingleneg : PositionOfNegativeMorphemesInVerbInitialLanguages

  OptSingleNeg (1 languages).

• obligdoubleneg : PositionOfNegativeMorphemesInVerbInitialLanguages

  ObligDoubleNeg (7 languages).

• optdoubleneg : PositionOfNegativeMorphemesInVerbInitialLanguages

  OptDoubleNeg (10 languages).

@[implicit_reducible]

instance Data.WALS.F144T.instDecidableEqPositionOfNegativeMorphemesInVerbInitialLanguages : DecidableEq PositionOfNegativeMorphemesInVerbInitialLanguages

Equations

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

def Data.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages.beq : PositionOfNegativeMorphemesInVerbInitialLanguages → PositionOfNegativeMorphemesInVerbInitialLanguages → Bool

Equations

• Data.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages : BEq PositionOfNegativeMorphemesInVerbInitialLanguages

Equations

• Data.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages = { beq := Data.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages.beq }

@[implicit_reducible]

instance Data.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages : Repr PositionOfNegativeMorphemesInVerbInitialLanguages

Equations

• Data.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages = { reprPrec := Data.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages.repr }

def Data.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages.repr : PositionOfNegativeMorphemesInVerbInitialLanguages → Nat → Std.Format

Equations

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

def Data.WALS.F144T.allData : List (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

Complete WALS 144T dataset (152 languages).

Equations

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

def Data.WALS.F144T.lookup (code : String) : Option (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144T.lookupISO (iso : String) : Option (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

Look up a language by ISO 639-3 code.

Equations

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