WALS Feature 144W: Verb-Initial with Negative that is Immediately Postverbal or between Subject and Object

@cite{wals-2013}

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

Chapter 144, 151 languages.

inductive Data.WALS.F144W.VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject : Type

WALS 144W values.

• suffixNodoubleneg : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  Suffix&NoDoubleNeg (2 languages).

• wordOnlywithanotherneg : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  Word&OnlyWithAnotherNeg (5 languages).

• suffixOptdoubleneg : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  Suffix&OptDoubleNeg (1 languages).

• suffixOnlywithanotherneg : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  Suffix&OnlyWithAnotherNeg (3 languages).

• wordbetweensando : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  WordBetweenSAndO (1 languages).

• none : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

  None (139 languages).

@[implicit_reducible]

instance Data.WALS.F144W.instDecidableEqVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject : DecidableEq VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

Equations

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

def Data.WALS.F144W.instBEqVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject.beq : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject → VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject → Bool

Equations

• Data.WALS.F144W.instBEqVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144W.instBEqVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject : BEq VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

Equations

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

@[implicit_reducible]

instance Data.WALS.F144W.instReprVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject : Repr VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject

Equations

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

def Data.WALS.F144W.instReprVerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject.repr : VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject → Nat → Std.Format

Equations

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

def Data.WALS.F144W.allData : List (Datapoint VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject)

Complete WALS 144W dataset (151 languages).

Equations

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

def Data.WALS.F144W.lookup (code : String) : Option (Datapoint VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144W.lookupISO (iso : String) : Option (Datapoint VerbInitialWithNegativeThatIsImmediatelyPostverbalOrBetweenSubjectAndObject)

Look up a language by ISO 639-3 code.

Equations

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