Bobaljik2012: language samples

Auto-generated from Linglib/Data/Structures/Bobaljik2012.json by scripts/gen_structures.py. Do not edit by hand; edit the JSON and re-run the generator. Declarations live in namespace Bobaljik2012.Structures.

inductive Bobaljik2012.Structures.Region : Type

region: The broad geographic region under which the table groups the language (p. 229).

• africa : Region

  Africa: Africa

• eurasia : Region

  Eurasia: Eurasia

• eAsia : Region

  E Asia: East Asia

• pacific : Region

  Pacific: the Pacific

• americas : Region

  Americas: the Americas

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqRegion : DecidableEq Region

Equations

• Bobaljik2012.Structures.instDecidableEqRegion x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Bobaljik2012.Structures.instReprRegion.repr : Region → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bobaljik2012.Structures.instReprRegion : Repr Region

Equations

• Bobaljik2012.Structures.instReprRegion = { reprPrec := Bobaljik2012.Structures.instReprRegion.repr }

inductive Bobaljik2012.Structures.Family : Type

family: The family heading under which Table B.1 groups the language, the book's classification without commitment to it (p. 16).

• indoEuropean : Family

  Indo-European: Indo-European

• uralic : Family

  Uralic: Uralic

• altaic : Family

  Altaic: Altaic

• yeniseian : Family

  Yeniseian: Yeniseian

• chukotkoKamchatkan : Family

  Chukotko-Kamchatkan: Chukotko-Kamchatkan

• kartvelian : Family

  Kartvelian: Kartvelian

• nwCaucasian : Family

  NW Caucasian: NW Caucasian

• nakhDagestanian : Family

  Nakh-Dagestanian: Nakh-Dagestanian

• semitic : Family

  Semitic: Semitic

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqFamily : DecidableEq Family

Equations

• Bobaljik2012.Structures.instDecidableEqFamily x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Bobaljik2012.Structures.instReprFamily.repr : Family → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bobaljik2012.Structures.instReprFamily : Repr Family

Equations

• Bobaljik2012.Structures.instReprFamily = { reprPrec := Bobaljik2012.Structures.instReprFamily.repr }

inductive Bobaljik2012.Structures.CmprTyp : Type

CMPR TYP: The type of comparative construction the descriptions consulted indicate (pp. 229-230).

• exceed : CmprTyp

  EX: an 'exceed' comparative, with a verb meaning 'exceed' or 'surpass'

• conjoined : CmprTyp

  CN: a conjoined comparative, two conjoined clauses

• standard : CmprTyp

  ST: a standard comparative, monoclausal with a marked standard of comparison

• other : CmprTyp

  OTH: none of the three main types

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqCmprTyp : DecidableEq CmprTyp

Equations

• Bobaljik2012.Structures.instDecidableEqCmprTyp x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bobaljik2012.Structures.instReprCmprTyp : Repr CmprTyp

Equations

• Bobaljik2012.Structures.instReprCmprTyp = { reprPrec := Bobaljik2012.Structures.instReprCmprTyp.repr }

def Bobaljik2012.Structures.instReprCmprTyp.repr : CmprTyp → ℕ → Std.Format

Equations

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

inductive Bobaljik2012.Structures.Cmpr : Type

CMPR: The morphological expression of comparison on the adjective (pp. 230-231); a code in parentheses is described as optional.

• morphological : Cmpr

  M: a synthetic comparative, an affix or process on the adjective, for at least some adjectives

• periphrastic : Cmpr

  PER: no regular synthetic comparative; an adverb or other free element marks comparison

• zero : Cmpr

  ZERO: no marking of comparison on the adjective

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqCmpr : DecidableEq Cmpr

Equations

• Bobaljik2012.Structures.instDecidableEqCmpr x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bobaljik2012.Structures.instReprCmpr : Repr Cmpr

Equations

• Bobaljik2012.Structures.instReprCmpr = { reprPrec := Bobaljik2012.Structures.instReprCmpr.repr }

def Bobaljik2012.Structures.instReprCmpr.repr : Cmpr → ℕ → Std.Format

Equations

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

inductive Bobaljik2012.Structures.Sprl : Type

SPRL: The morphosyntactic expression of the relative superlative (pp. 232-233).

• morphological : Sprl

  M: a synthetic superlative

• periphrastic : Sprl

  PER: a periphrastic superlative

• absolute : Sprl

  ABS: the source indicates only absolute superlatives

• universal : Sprl

  ALL: the comparative construction with a universal quantifier as the standard

• comparative : Sprl

  CPR: no clear morphosyntactic distinction between comparative and superlative

• definite : Sprl

  DEF: the comparative (or positive) with a marker of definiteness

• intensified : Sprl

  VERY: the comparative with an intensifier

• positive : Sprl

  POS: the positive, the superlative sense from context

• none : Sprl

  NONE: no fixed superlative construction

• noInformation : Sprl

  n/i: no information available

• other : Sprl

  OTH: see the note at the entry

• zero : Sprl

  ZERO: printed only for Zazaki in Table B.1; the legend defines ZERO for CMPR alone, as no marking on the adjective

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqSprl : DecidableEq Sprl

Equations

• Bobaljik2012.Structures.instDecidableEqSprl x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bobaljik2012.Structures.instReprSprl : Repr Sprl

Equations

• Bobaljik2012.Structures.instReprSprl = { reprPrec := Bobaljik2012.Structures.instReprSprl.repr }

def Bobaljik2012.Structures.instReprSprl.repr : Sprl → ℕ → Std.Format

Equations

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

inductive Bobaljik2012.Structures.Suppl : Type

SUPPL: Whether there is evidence of suppletion in comparative or superlative formation (p. 233).

• yes : Suppl

  Y: there is suppletion; YES in the legend and in the Uralic rows of Table B.1

• no : Suppl

  NO: there is no suppletion

• more : Suppl

  MORE: suppletion only in 'many/much - more'

• verb : Suppl

  V: suppletive verbs may replace an 'exceed' comparative

• notIndicated : Suppl

  n/i: no suppletion is indicated in the available description

• unclear : Suppl

  ?: printed '?', a mark the legend does not define

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqSuppl : DecidableEq Suppl

Equations

• Bobaljik2012.Structures.instDecidableEqSuppl x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Bobaljik2012.Structures.instReprSuppl : Repr Suppl

Equations

• Bobaljik2012.Structures.instReprSuppl = { reprPrec := Bobaljik2012.Structures.instReprSuppl.repr }

def Bobaljik2012.Structures.instReprSuppl.repr : Suppl → ℕ → Std.Format

Equations

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

structure Bobaljik2012.Structures.Row : Type

A row of a sample: a language with its codes for each parameter.

• language : Data.Structures.Language

  The language.

• region : List (Data.Structures.Coded Region)

  The codes for region.

• family : List (Data.Structures.Coded Family)

  The codes for family.

• cmprTyp : List (Data.Structures.Coded CmprTyp)

  The codes for CMPR TYP.

• cmpr : List (Data.Structures.Coded Cmpr)

  The codes for CMPR.

• sprl : List (Data.Structures.Coded Sprl)

  The codes for SPRL.

• suppl : List (Data.Structures.Coded Suppl)

  The codes for SUPPL.

@[instance_reducible]

instance Bobaljik2012.Structures.instDecidableEqRow : DecidableEq Row

Equations

• Bobaljik2012.Structures.instDecidableEqRow = Bobaljik2012.Structures.instDecidableEqRow.decEq

def Bobaljik2012.Structures.instDecidableEqRow.decEq (x✝ x✝¹ : Row) : Decidable (x✝ = x✝¹)

Equations

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

def Bobaljik2012.Structures.instReprRow.repr : Row → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Bobaljik2012.Structures.instReprRow : Repr Row

Equations

• Bobaljik2012.Structures.instReprRow = { reprPrec := Bobaljik2012.Structures.instReprRow.repr }

def Bobaljik2012.Structures.tamashek : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tamashek = { id := "tamashek", name := "Tamashek", glottocode := some "tama1365" }

def Bobaljik2012.Structures.hausa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hausa = { id := "hausa", name := "Hausa", glottocode := some "haus1257" }

def Bobaljik2012.Structures.lele : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lele = { id := "lele", name := "Lele", glottocode := some "lele1276" }

def Bobaljik2012.Structures.mina : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mina = { id := "mina", name := "Mina", glottocode := some "mina1276" }

def Bobaljik2012.Structures.qimant : Data.Structures.Language

Equations

• Bobaljik2012.Structures.qimant = { id := "qimant", name := "Qimant", glottocode := some "qima1242" }

def Bobaljik2012.Structures.somali : Data.Structures.Language

Equations

• Bobaljik2012.Structures.somali = { id := "somali", name := "Somali", glottocode := some "soma1255" }

def Bobaljik2012.Structures.arabic_std : Data.Structures.Language

Equations

• Bobaljik2012.Structures.arabic_std = { id := "arabic_std", name := "Arabic (Standard)", glottocode := some "stan1318" }

def Bobaljik2012.Structures.neo_aramaic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.neo_aramaic = { id := "neo_aramaic", name := "Neo-Aramaic", glottocode := none }

def Bobaljik2012.Structures.hebrew : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hebrew = { id := "hebrew", name := "Hebrew (Modern)", glottocode := some "hebr1245" }

def Bobaljik2012.Structures.khoekhoe_nama : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khoekhoe_nama = { id := "khoekhoe_nama", name := "Khoekhoe (Nama)", glottocode := some "nama1264" }

def Bobaljik2012.Structures.khwe : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khwe = { id := "khwe", name := "Khwe", glottocode := some "kxoe1243" }

def Bobaljik2012.Structures.koromfe : Data.Structures.Language

Equations

• Bobaljik2012.Structures.koromfe = { id := "koromfe", name := "Koromfe", glottocode := some "koro1298" }

def Bobaljik2012.Structures.ijo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ijo = { id := "ijo", name := "Ịjọ", glottocode := none }

def Bobaljik2012.Structures.kana : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kana = { id := "kana", name := "Kana", glottocode := some "khan1278" }

def Bobaljik2012.Structures.ogbronuagum : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ogbronuagum = { id := "ogbronuagum", name := "Ogbronuagum", glottocode := some "ogbr1243" }

def Bobaljik2012.Structures.banda : Data.Structures.Language

Equations

• Bobaljik2012.Structures.banda = { id := "banda", name := "Banda", glottocode := none }

def Bobaljik2012.Structures.lingala : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lingala = { id := "lingala", name := "Lingala", glottocode := some "ling1263" }

def Bobaljik2012.Structures.nandi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nandi = { id := "nandi", name := "Nandi", glottocode := some "nand1266" }

def Bobaljik2012.Structures.sotho_northern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sotho_northern = { id := "sotho_northern", name := "Sotho (Northern)", glottocode := some "pedi1238" }

def Bobaljik2012.Structures.zulu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.zulu = { id := "zulu", name := "Zulu", glottocode := some "zulu1248" }

def Bobaljik2012.Structures.lango : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lango = { id := "lango", name := "Lango", glottocode := some "lang1324" }

def Bobaljik2012.Structures.mbay : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mbay = { id := "mbay", name := "Mbay", glottocode := some "mbay1241" }

def Bobaljik2012.Structures.koroboro_seno : Data.Structures.Language

Equations

• Bobaljik2012.Structures.koroboro_seno = { id := "koroboro_seno", name := "Koroboro Seno", glottocode := some "koyr1242" }

def Bobaljik2012.Structures.kanuri : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kanuri = { id := "kanuri", name := "Kanuri", glottocode := some "cent2050" }

def Bobaljik2012.Structures.irish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.irish = { id := "irish", name := "Irish", glottocode := some "iris1253" }

def Bobaljik2012.Structures.modern_greek : Data.Structures.Language

Equations

• Bobaljik2012.Structures.modern_greek = { id := "modern_greek", name := "Modern Greek", glottocode := some "mode1248" }

def Bobaljik2012.Structures.kashmiri : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kashmiri = { id := "kashmiri", name := "Kashmiri", glottocode := some "kash1277" }

def Bobaljik2012.Structures.persian_farsi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.persian_farsi = { id := "persian_farsi", name := "Persian (Farsi)", glottocode := some "west2369" }

def Bobaljik2012.Structures.czech : Data.Structures.Language

Equations

• Bobaljik2012.Structures.czech = { id := "czech", name := "Czech", glottocode := some "czec1258" }

def Bobaljik2012.Structures.finnish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.finnish = { id := "finnish", name := "Finnish", glottocode := some "finn1318" }

def Bobaljik2012.Structures.udmurt : Data.Structures.Language

Equations

• Bobaljik2012.Structures.udmurt = { id := "udmurt", name := "Udmurt", glottocode := some "udmu1245" }

def Bobaljik2012.Structures.nenets : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nenets = { id := "nenets", name := "Nenets (Yurak)", glottocode := none }

def Bobaljik2012.Structures.ket : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ket = { id := "ket", name := "Ket", glottocode := some "kett1243" }

def Bobaljik2012.Structures.even : Data.Structures.Language

Equations

• Bobaljik2012.Structures.even = { id := "even", name := "Even", glottocode := some "even1260" }

def Bobaljik2012.Structures.evenki : Data.Structures.Language

Equations

• Bobaljik2012.Structures.evenki = { id := "evenki", name := "Evenki", glottocode := some "even1259" }

def Bobaljik2012.Structures.khalkha : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khalkha = { id := "khalkha", name := "Khalkha", glottocode := some "halh1238" }

def Bobaljik2012.Structures.lezgian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lezgian = { id := "lezgian", name := "Lezgian", glottocode := some "lezg1247" }

def Bobaljik2012.Structures.hunzib : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hunzib = { id := "hunzib", name := "Hunzib", glottocode := some "hunz1247" }

def Bobaljik2012.Structures.abkhaz : Data.Structures.Language

Equations

• Bobaljik2012.Structures.abkhaz = { id := "abkhaz", name := "Abkhaz", glottocode := some "abkh1244" }

def Bobaljik2012.Structures.bashkir : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bashkir = { id := "bashkir", name := "Bashkir", glottocode := some "bash1264" }

def Bobaljik2012.Structures.khakas : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khakas = { id := "khakas", name := "Khakas", glottocode := some "khak1248" }

def Bobaljik2012.Structures.tyvan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tyvan = { id := "tyvan", name := "Tyvan", glottocode := some "tuvi1240" }

def Bobaljik2012.Structures.itelmen : Data.Structures.Language

Equations

• Bobaljik2012.Structures.itelmen = { id := "itelmen", name := "Itelmen", glottocode := some "itel1242" }

def Bobaljik2012.Structures.chukchi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.chukchi = { id := "chukchi", name := "Chukchi", glottocode := some "chuk1273" }

def Bobaljik2012.Structures.malayalam : Data.Structures.Language

Equations

• Bobaljik2012.Structures.malayalam = { id := "malayalam", name := "Malayalam", glottocode := some "mala1464" }

def Bobaljik2012.Structures.ainu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ainu = { id := "ainu", name := "Ainu", glottocode := some "ainu1240" }

def Bobaljik2012.Structures.nivkh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nivkh = { id := "nivkh", name := "Nivkh", glottocode := some "gily1242" }

def Bobaljik2012.Structures.burushaski : Data.Structures.Language

Equations

• Bobaljik2012.Structures.burushaski = { id := "burushaski", name := "Burushaski", glottocode := some "buru1296" }

def Bobaljik2012.Structures.yukagir : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yukagir = { id := "yukagir", name := "Yukagir", glottocode := some "sout2750" }

def Bobaljik2012.Structures.basque : Data.Structures.Language

Equations

• Bobaljik2012.Structures.basque = { id := "basque", name := "Basque", glottocode := some "basq1248" }

def Bobaljik2012.Structures.asl : Data.Structures.Language

Equations

• Bobaljik2012.Structures.asl = { id := "asl", name := "ASL", glottocode := some "amer1248" }

def Bobaljik2012.Structures.cantonese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.cantonese = { id := "cantonese", name := "Cantonese", glottocode := some "cant1236" }

def Bobaljik2012.Structures.kunming : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kunming = { id := "kunming", name := "Kunming", glottocode := some "kunm1234" }

def Bobaljik2012.Structures.mandarin : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mandarin = { id := "mandarin", name := "Mandarin", glottocode := some "mand1415" }

def Bobaljik2012.Structures.dzongkha : Data.Structures.Language

Equations

• Bobaljik2012.Structures.dzongkha = { id := "dzongkha", name := "Dzongkha", glottocode := some "dzon1239" }

def Bobaljik2012.Structures.kham : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kham = { id := "kham", name := "Kham", glottocode := none }

def Bobaljik2012.Structures.limbu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.limbu = { id := "limbu", name := "Limbu", glottocode := some "limb1266" }

def Bobaljik2012.Structures.newar_dolokha : Data.Structures.Language

Equations

• Bobaljik2012.Structures.newar_dolokha = { id := "newar_dolokha", name := "Newar (Dolokha)", glottocode := some "dola1240" }

def Bobaljik2012.Structures.bisu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bisu = { id := "bisu", name := "Bisu", glottocode := some "bisu1244" }

def Bobaljik2012.Structures.mongsen_ao : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mongsen_ao = { id := "mongsen_ao", name := "Mongsen Ao", glottocode := some "mong1332" }

def Bobaljik2012.Structures.mizo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mizo = { id := "mizo", name := "Mizo", glottocode := some "lush1249" }

def Bobaljik2012.Structures.dumi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.dumi = { id := "dumi", name := "Dumi", glottocode := some "dumi1241" }

def Bobaljik2012.Structures.lao : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lao = { id := "lao", name := "Lao", glottocode := some "laoo1244" }

def Bobaljik2012.Structures.thai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.thai = { id := "thai", name := "Thai", glottocode := some "thai1261" }

def Bobaljik2012.Structures.japanese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.japanese = { id := "japanese", name := "Japanese", glottocode := some "nucl1643" }

def Bobaljik2012.Structures.korean : Data.Structures.Language

Equations

• Bobaljik2012.Structures.korean = { id := "korean", name := "Korean", glottocode := some "kore1280" }

def Bobaljik2012.Structures.mayali : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mayali = { id := "mayali", name := "Mayali", glottocode := some "gunw1252" }

def Bobaljik2012.Structures.nunggubuyu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nunggubuyu = { id := "nunggubuyu", name := "Nunggubuyu", glottocode := some "nung1290" }

def Bobaljik2012.Structures.arrernte : Data.Structures.Language

Equations

• Bobaljik2012.Structures.arrernte = { id := "arrernte", name := "Arrernte", glottocode := none }

def Bobaljik2012.Structures.dyirbal : Data.Structures.Language

Equations

• Bobaljik2012.Structures.dyirbal = { id := "dyirbal", name := "Dyirbal", glottocode := some "dyir1250" }

def Bobaljik2012.Structures.gumbaynggir : Data.Structures.Language

Equations

• Bobaljik2012.Structures.gumbaynggir = { id := "gumbaynggir", name := "Gumbaynggir", glottocode := some "kumb1268" }

def Bobaljik2012.Structures.warlpiri : Data.Structures.Language

Equations

• Bobaljik2012.Structures.warlpiri = { id := "warlpiri", name := "Warlpiri", glottocode := some "warl1254" }

def Bobaljik2012.Structures.yindjibarndi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yindjibarndi = { id := "yindjibarndi", name := "Yindjibarndi", glottocode := some "yind1247" }

def Bobaljik2012.Structures.kayardild : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kayardild = { id := "kayardild", name := "Kayardild", glottocode := some "kaya1319" }

def Bobaljik2012.Structures.jingulu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.jingulu = { id := "jingulu", name := "Jingulu", glottocode := some "djin1251" }

def Bobaljik2012.Structures.amis : Data.Structures.Language

Equations

• Bobaljik2012.Structures.amis = { id := "amis", name := "Amis", glottocode := some "amis1246" }

def Bobaljik2012.Structures.paiwan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.paiwan = { id := "paiwan", name := "Paiwan", glottocode := some "paiw1248" }

def Bobaljik2012.Structures.puyuma : Data.Structures.Language

Equations

• Bobaljik2012.Structures.puyuma = { id := "puyuma", name := "Puyuma", glottocode := some "puyu1239" }

def Bobaljik2012.Structures.rukai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.rukai = { id := "rukai", name := "Rukai", glottocode := some "ruka1240" }

def Bobaljik2012.Structures.seediq : Data.Structures.Language

Equations

• Bobaljik2012.Structures.seediq = { id := "seediq", name := "Seediq", glottocode := some "taro1264" }

def Bobaljik2012.Structures.rapanui : Data.Structures.Language

Equations

• Bobaljik2012.Structures.rapanui = { id := "rapanui", name := "Rapanui", glottocode := some "rapa1244" }

def Bobaljik2012.Structures.maori : Data.Structures.Language

Equations

• Bobaljik2012.Structures.maori = { id := "maori", name := "Maori", glottocode := some "maor1246" }

def Bobaljik2012.Structures.muna : Data.Structures.Language

Equations

• Bobaljik2012.Structures.muna = { id := "muna", name := "Muna", glottocode := some "muna1247" }

def Bobaljik2012.Structures.pendau : Data.Structures.Language

Equations

• Bobaljik2012.Structures.pendau = { id := "pendau", name := "Pendau", glottocode := some "pend1242" }

def Bobaljik2012.Structures.yapese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yapese = { id := "yapese", name := "Yapese", glottocode := some "yape1248" }

def Bobaljik2012.Structures.palauan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.palauan = { id := "palauan", name := "Palauan", glottocode := some "pala1344" }

def Bobaljik2012.Structures.fijian_boumaa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.fijian_boumaa = { id := "fijian_boumaa", name := "Fijian (Boumaa)", glottocode := some "fiji1243" }

def Bobaljik2012.Structures.tuvaluan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tuvaluan = { id := "tuvaluan", name := "Tuvaluan", glottocode := some "tuva1244" }

def Bobaljik2012.Structures.manam : Data.Structures.Language

Equations

• Bobaljik2012.Structures.manam = { id := "manam", name := "Manam", glottocode := some "mana1295" }

def Bobaljik2012.Structures.sinaugoro : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sinaugoro = { id := "sinaugoro", name := "Sinaugoro", glottocode := some "sina1266" }

def Bobaljik2012.Structures.amele : Data.Structures.Language

Equations

• Bobaljik2012.Structures.amele = { id := "amele", name := "Amele", glottocode := some "amel1241" }

def Bobaljik2012.Structures.klon : Data.Structures.Language

Equations

• Bobaljik2012.Structures.klon = { id := "klon", name := "Klon", glottocode := some "kelo1247" }

def Bobaljik2012.Structures.teiwa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.teiwa = { id := "teiwa", name := "Teiwa", glottocode := some "teiw1235" }

def Bobaljik2012.Structures.mian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mian = { id := "mian", name := "Mian", glottocode := some "mian1256" }

def Bobaljik2012.Structures.ekagi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ekagi = { id := "ekagi", name := "Ekagi", glottocode := some "ekar1243" }

def Bobaljik2012.Structures.koiari : Data.Structures.Language

Equations

• Bobaljik2012.Structures.koiari = { id := "koiari", name := "Koiari", glottocode := some "gras1249" }

def Bobaljik2012.Structures.mauwake : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mauwake = { id := "mauwake", name := "Mauwake", glottocode := some "mauw1238" }

def Bobaljik2012.Structures.arapesh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.arapesh = { id := "arapesh", name := "Arapesh", glottocode := none }

def Bobaljik2012.Structures.skou : Data.Structures.Language

Equations

• Bobaljik2012.Structures.skou = { id := "skou", name := "Skou", glottocode := some "nucl1634" }

def Bobaljik2012.Structures.mundari : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mundari = { id := "mundari", name := "Mundari", glottocode := some "mund1320" }

def Bobaljik2012.Structures.santali : Data.Structures.Language

Equations

• Bobaljik2012.Structures.santali = { id := "santali", name := "Santali", glottocode := some "sant1410" }

def Bobaljik2012.Structures.remo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.remo = { id := "remo", name := "Remo", glottocode := some "bond1245" }

def Bobaljik2012.Structures.semalai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.semalai = { id := "semalai", name := "Semalai", glottocode := some "seme1247" }

def Bobaljik2012.Structures.palaung : Data.Structures.Language

Equations

• Bobaljik2012.Structures.palaung = { id := "palaung", name := "Palaung", glottocode := none }

def Bobaljik2012.Structures.vietnamese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.vietnamese = { id := "vietnamese", name := "Vietnamese", glottocode := some "viet1252" }

def Bobaljik2012.Structures.khmer : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khmer = { id := "khmer", name := "Khmer", glottocode := some "cent1989" }

def Bobaljik2012.Structures.sapuan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sapuan = { id := "sapuan", name := "Sapuan", glottocode := some "sapu1248" }

def Bobaljik2012.Structures.aleut : Data.Structures.Language

Equations

• Bobaljik2012.Structures.aleut = { id := "aleut", name := "Aleut", glottocode := some "aleu1260" }

def Bobaljik2012.Structures.west_greenlandic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.west_greenlandic = { id := "west_greenlandic", name := "West Greenlandic", glottocode := some "kala1399" }

def Bobaljik2012.Structures.straits_salish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.straits_salish = { id := "straits_salish", name := "Straits Salish", glottocode := some "stra1244" }

def Bobaljik2012.Structures.navajo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.navajo = { id := "navajo", name := "Navajo", glottocode := some "nava1243" }

def Bobaljik2012.Structures.nishnaabemwin : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nishnaabemwin = { id := "nishnaabemwin", name := "Nishnaabemwin", glottocode := none }

def Bobaljik2012.Structures.cherokee : Data.Structures.Language

Equations

• Bobaljik2012.Structures.cherokee = { id := "cherokee", name := "Cherokee", glottocode := some "cher1273" }

def Bobaljik2012.Structures.kiowa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kiowa = { id := "kiowa", name := "Kiowa", glottocode := some "kiow1266" }

def Bobaljik2012.Structures.chimariko : Data.Structures.Language

Equations

• Bobaljik2012.Structures.chimariko = { id := "chimariko", name := "Chimariko", glottocode := some "chim1301" }

def Bobaljik2012.Structures.kiliwa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kiliwa = { id := "kiliwa", name := "Kiliwa", glottocode := some "kili1268" }

def Bobaljik2012.Structures.choctaw : Data.Structures.Language

Equations

• Bobaljik2012.Structures.choctaw = { id := "choctaw", name := "Choctaw", glottocode := some "choc1276" }

def Bobaljik2012.Structures.crow : Data.Structures.Language

Equations

• Bobaljik2012.Structures.crow = { id := "crow", name := "Crow", glottocode := some "crow1244" }

def Bobaljik2012.Structures.wappo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.wappo = { id := "wappo", name := "Wappo", glottocode := some "wapp1239" }

def Bobaljik2012.Structures.nahuatl : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nahuatl = { id := "nahuatl", name := "Nahuatl", glottocode := some "clas1250" }

def Bobaljik2012.Structures.comanche : Data.Structures.Language

Equations

• Bobaljik2012.Structures.comanche = { id := "comanche", name := "Comanche", glottocode := some "coma1245" }

def Bobaljik2012.Structures.tumpisa_shoshone : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tumpisa_shoshone = { id := "tumpisa_shoshone", name := "Tümpisa Shoshone", glottocode := some "pana1305" }

def Bobaljik2012.Structures.cupeno : Data.Structures.Language

Equations

• Bobaljik2012.Structures.cupeno = { id := "cupeno", name := "Cupeño", glottocode := some "cupe1243" }

def Bobaljik2012.Structures.sonora_yaqui : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sonora_yaqui = { id := "sonora_yaqui", name := "Sonora Yaqui", glottocode := some "yaqu1251" }

def Bobaljik2012.Structures.tohono_oodham : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tohono_oodham = { id := "tohono_oodham", name := "Tohono O’odham", glottocode := some "toho1245" }

def Bobaljik2012.Structures.tarascan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tarascan = { id := "tarascan", name := "Tarascan", glottocode := some "pure1242" }

def Bobaljik2012.Structures.totonac : Data.Structures.Language

Equations

• Bobaljik2012.Structures.totonac = { id := "totonac", name := "Totonac", glottocode := some "yecu1235" }

def Bobaljik2012.Structures.miskitu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.miskitu = { id := "miskitu", name := "Miskitu", glottocode := some "misk1235" }

def Bobaljik2012.Structures.mixtec : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mixtec = { id := "mixtec", name := "Mixtec", glottocode := some "sanm1296" }

def Bobaljik2012.Structures.wari : Data.Structures.Language

Equations

• Bobaljik2012.Structures.wari = { id := "wari", name := "Wari’", glottocode := some "wari1268" }

def Bobaljik2012.Structures.yagua : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yagua = { id := "yagua", name := "Yagua", glottocode := some "yagu1244" }

def Bobaljik2012.Structures.bare : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bare = { id := "bare", name := "Bare", glottocode := some "bare1276" }

def Bobaljik2012.Structures.tariana : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tariana = { id := "tariana", name := "Tariana", glottocode := some "tari1256" }

def Bobaljik2012.Structures.warekena : Data.Structures.Language

Equations

• Bobaljik2012.Structures.warekena = { id := "warekena", name := "Warekena", glottocode := none }

def Bobaljik2012.Structures.paumari : Data.Structures.Language

Equations

• Bobaljik2012.Structures.paumari = { id := "paumari", name := "Paumarí", glottocode := some "paum1247" }

def Bobaljik2012.Structures.apalai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.apalai = { id := "apalai", name := "Apalai", glottocode := some "apal1257" }

def Bobaljik2012.Structures.hixkaryana : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hixkaryana = { id := "hixkaryana", name := "Hixkaryana", glottocode := some "hixk1239" }

def Bobaljik2012.Structures.bororo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bororo = { id := "bororo", name := "Bororo", glottocode := some "boro1282" }

def Bobaljik2012.Structures.kayapo : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kayapo = { id := "kayapo", name := "Kayapó", glottocode := some "kaya1330" }

def Bobaljik2012.Structures.piraha : Data.Structures.Language

Equations

• Bobaljik2012.Structures.piraha = { id := "piraha", name := "Pirahã", glottocode := some "pira1253" }

def Bobaljik2012.Structures.mbya_guarani : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mbya_guarani = { id := "mbya_guarani", name := "Mbyá (Guaraní)", glottocode := some "mbya1239" }

def Bobaljik2012.Structures.urubu_kaapor : Data.Structures.Language

Equations

• Bobaljik2012.Structures.urubu_kaapor = { id := "urubu_kaapor", name := "Urubu-Kaapor", glottocode := some "urub1250" }

def Bobaljik2012.Structures.andoke : Data.Structures.Language

Equations

• Bobaljik2012.Structures.andoke = { id := "andoke", name := "Andoke", glottocode := some "ando1256" }

def Bobaljik2012.Structures.aymara : Data.Structures.Language

Equations

• Bobaljik2012.Structures.aymara = { id := "aymara", name := "Aymara", glottocode := none }

def Bobaljik2012.Structures.mapuche : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mapuche = { id := "mapuche", name := "Mapuche", glottocode := some "mapu1245" }

def Bobaljik2012.Structures.moseten : Data.Structures.Language

Equations

• Bobaljik2012.Structures.moseten = { id := "moseten", name := "Mosetén", glottocode := some "mose1249" }

def Bobaljik2012.Structures.urarina : Data.Structures.Language

Equations

• Bobaljik2012.Structures.urarina = { id := "urarina", name := "Urarina", glottocode := some "urar1246" }

def Bobaljik2012.Structures.kwaza : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kwaza = { id := "kwaza", name := "Kwaza", glottocode := some "kwaz1243" }

def Bobaljik2012.Structures.albanian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.albanian = { id := "albanian", name := "Albanian", glottocode := none }

def Bobaljik2012.Structures.hittite : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hittite = { id := "hittite", name := "Hittite", glottocode := some "hitt1242" }

def Bobaljik2012.Structures.tocharian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tocharian = { id := "tocharian", name := "Tocharian", glottocode := none }

def Bobaljik2012.Structures.armenian_classical : Data.Structures.Language

Equations

• Bobaljik2012.Structures.armenian_classical = { id := "armenian_classical", name := "Armenian (Classical)", glottocode := some "clas1256" }

def Bobaljik2012.Structures.armenian_middle : Data.Structures.Language

Equations

• Bobaljik2012.Structures.armenian_middle = { id := "armenian_middle", name := "Armenian (Middle)", glottocode := some "midd1364" }

def Bobaljik2012.Structures.armenian_western : Data.Structures.Language

Equations

• Bobaljik2012.Structures.armenian_western = { id := "armenian_western", name := "Armenian (Western)", glottocode := some "homs1234" }

def Bobaljik2012.Structures.armenian_eastern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.armenian_eastern = { id := "armenian_eastern", name := "Armenian (Eastern)", glottocode := some "nucl1235" }

def Bobaljik2012.Structures.latvian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.latvian = { id := "latvian", name := "Latvian", glottocode := some "latv1249" }

def Bobaljik2012.Structures.lithuanian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lithuanian = { id := "lithuanian", name := "Lithuanian", glottocode := some "lith1251" }

def Bobaljik2012.Structures.old_church_slavonic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.old_church_slavonic = { id := "old_church_slavonic", name := "Old Church Slavonic", glottocode := some "chur1257" }

def Bobaljik2012.Structures.belorussian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.belorussian = { id := "belorussian", name := "Belorussian", glottocode := some "bela1254" }

def Bobaljik2012.Structures.bulgarian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bulgarian = { id := "bulgarian", name := "Bulgarian", glottocode := some "bulg1262" }

def Bobaljik2012.Structures.macedonian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.macedonian = { id := "macedonian", name := "Macedonian", glottocode := some "mace1250" }

def Bobaljik2012.Structures.polish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.polish = { id := "polish", name := "Polish", glottocode := some "poli1260" }

def Bobaljik2012.Structures.russian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.russian = { id := "russian", name := "Russian", glottocode := some "russ1263" }

def Bobaljik2012.Structures.serbian_croatian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.serbian_croatian = { id := "serbian_croatian", name := "Serbian/Croatian", glottocode := some "sout1528" }

def Bobaljik2012.Structures.slovak : Data.Structures.Language

Equations

• Bobaljik2012.Structures.slovak = { id := "slovak", name := "Slovak", glottocode := some "slov1269" }

def Bobaljik2012.Structures.slovenian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.slovenian = { id := "slovenian", name := "Slovenian", glottocode := some "slov1268" }

def Bobaljik2012.Structures.sorbian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sorbian = { id := "sorbian", name := "Sorbian", glottocode := none }

def Bobaljik2012.Structures.ukrainian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ukrainian = { id := "ukrainian", name := "Ukrainian", glottocode := some "ukra1253" }

def Bobaljik2012.Structures.old_irish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.old_irish = { id := "old_irish", name := "Old Irish", glottocode := some "oldi1246" }

def Bobaljik2012.Structures.breton : Data.Structures.Language

Equations

• Bobaljik2012.Structures.breton = { id := "breton", name := "Breton", glottocode := some "bret1244" }

def Bobaljik2012.Structures.manx : Data.Structures.Language

Equations

• Bobaljik2012.Structures.manx = { id := "manx", name := "Manx", glottocode := some "manx1243" }

def Bobaljik2012.Structures.scottish_gaelic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.scottish_gaelic = { id := "scottish_gaelic", name := "Scottish Gaelic", glottocode := some "scot1245" }

def Bobaljik2012.Structures.welsh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.welsh = { id := "welsh", name := "Welsh", glottocode := some "wels1247" }

def Bobaljik2012.Structures.latin : Data.Structures.Language

Equations

• Bobaljik2012.Structures.latin = { id := "latin", name := "Latin", glottocode := some "lati1261" }

def Bobaljik2012.Structures.catalan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.catalan = { id := "catalan", name := "Catalan", glottocode := some "stan1289" }

def Bobaljik2012.Structures.french_old : Data.Structures.Language

Equations

• Bobaljik2012.Structures.french_old = { id := "french_old", name := "French (Old)", glottocode := some "oldf1239" }

def Bobaljik2012.Structures.french_modern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.french_modern = { id := "french_modern", name := "French (Modern)", glottocode := some "stan1290" }

def Bobaljik2012.Structures.italian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.italian = { id := "italian", name := "Italian", glottocode := some "ital1282" }

def Bobaljik2012.Structures.portuguese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.portuguese = { id := "portuguese", name := "Portuguese", glottocode := some "port1283" }

def Bobaljik2012.Structures.romanian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.romanian = { id := "romanian", name := "Romanian", glottocode := some "roma1327" }

def Bobaljik2012.Structures.spanish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.spanish = { id := "spanish", name := "Spanish", glottocode := some "stan1288" }

def Bobaljik2012.Structures.gothic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.gothic = { id := "gothic", name := "Gothic", glottocode := some "goth1244" }

def Bobaljik2012.Structures.english_old : Data.Structures.Language

Equations

• Bobaljik2012.Structures.english_old = { id := "english_old", name := "English (Old)", glottocode := some "olde1238" }

def Bobaljik2012.Structures.icelandic_old : Data.Structures.Language

Equations

• Bobaljik2012.Structures.icelandic_old = { id := "icelandic_old", name := "Icelandic (Old)", glottocode := some "oldn1244" }

def Bobaljik2012.Structures.afrikaans : Data.Structures.Language

Equations

• Bobaljik2012.Structures.afrikaans = { id := "afrikaans", name := "Afrikaans", glottocode := some "afri1274" }

def Bobaljik2012.Structures.danish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.danish = { id := "danish", name := "Danish", glottocode := some "dani1285" }

def Bobaljik2012.Structures.dutch : Data.Structures.Language

Equations

• Bobaljik2012.Structures.dutch = { id := "dutch", name := "Dutch", glottocode := some "dutc1256" }

def Bobaljik2012.Structures.english_modern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.english_modern = { id := "english_modern", name := "English (Modern)", glottocode := some "stan1293" }

def Bobaljik2012.Structures.faroese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.faroese = { id := "faroese", name := "Faroese", glottocode := some "faro1244" }

def Bobaljik2012.Structures.frisian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.frisian = { id := "frisian", name := "Frisian", glottocode := some "west2354" }

def Bobaljik2012.Structures.german : Data.Structures.Language

Equations

• Bobaljik2012.Structures.german = { id := "german", name := "German", glottocode := some "stan1295" }

def Bobaljik2012.Structures.german_cimbrian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.german_cimbrian = { id := "german_cimbrian", name := "German (Cimbrian)", glottocode := some "tred1238" }

def Bobaljik2012.Structures.icelandic_modern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.icelandic_modern = { id := "icelandic_modern", name := "Icelandic (Modern)", glottocode := some "icel1247" }

def Bobaljik2012.Structures.norwegian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.norwegian = { id := "norwegian", name := "Norwegian", glottocode := some "norw1258" }

def Bobaljik2012.Structures.swedish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.swedish = { id := "swedish", name := "Swedish", glottocode := some "swed1254" }

def Bobaljik2012.Structures.yiddish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yiddish = { id := "yiddish", name := "Yiddish", glottocode := some "east2295" }

def Bobaljik2012.Structures.greek_ancient : Data.Structures.Language

Equations

• Bobaljik2012.Structures.greek_ancient = { id := "greek_ancient", name := "Greek (Ancient)", glottocode := some "anci1242" }

def Bobaljik2012.Structures.greek_modern : Data.Structures.Language

Equations

• Bobaljik2012.Structures.greek_modern = { id := "greek_modern", name := "Greek (Modern)", glottocode := some "mode1248" }

def Bobaljik2012.Structures.sanskrit : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sanskrit = { id := "sanskrit", name := "Sanskrit", glottocode := some "sans1269" }

def Bobaljik2012.Structures.bagri : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bagri = { id := "bagri", name := "Bagri", glottocode := some "bagr1243" }

def Bobaljik2012.Structures.hindi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hindi = { id := "hindi", name := "Hindi", glottocode := some "hind1269" }

def Bobaljik2012.Structures.marathi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.marathi = { id := "marathi", name := "Marathi", glottocode := some "mara1378" }

def Bobaljik2012.Structures.nepali : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nepali = { id := "nepali", name := "Nepali", glottocode := some "nepa1254" }

def Bobaljik2012.Structures.sinhalese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sinhalese = { id := "sinhalese", name := "Sinhalese", glottocode := some "sinh1246" }

def Bobaljik2012.Structures.romani : Data.Structures.Language

Equations

• Bobaljik2012.Structures.romani = { id := "romani", name := "Romani", glottocode := none }

def Bobaljik2012.Structures.romani_vlax : Data.Structures.Language

Equations

• Bobaljik2012.Structures.romani_vlax = { id := "romani_vlax", name := "Romani (Vlax)", glottocode := some "vlax1238" }

def Bobaljik2012.Structures.persian_old : Data.Structures.Language

Equations

• Bobaljik2012.Structures.persian_old = { id := "persian_old", name := "Persian (Old)", glottocode := some "oldp1254" }

def Bobaljik2012.Structures.persian_middle : Data.Structures.Language

Equations

• Bobaljik2012.Structures.persian_middle = { id := "persian_middle", name := "Persian (Middle)", glottocode := some "pahl1241" }

def Bobaljik2012.Structures.sogdian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.sogdian = { id := "sogdian", name := "Sogdian", glottocode := some "sogd1245" }

def Bobaljik2012.Structures.khotanese_gyazdian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khotanese_gyazdian = { id := "khotanese_gyazdian", name := "Khotanese (Gyāźdian)", glottocode := some "khot1251" }

def Bobaljik2012.Structures.balochi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.balochi = { id := "balochi", name := "Balochi", glottocode := none }

def Bobaljik2012.Structures.gilyan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.gilyan = { id := "gilyan", name := "Gilyan", glottocode := some "gila1241" }

def Bobaljik2012.Structures.kurdish_kurmanji : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kurdish_kurmanji = { id := "kurdish_kurmanji", name := "Kurdish (Kurmanji)", glottocode := some "nort2641" }

def Bobaljik2012.Structures.kurdish_sorani : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kurdish_sorani = { id := "kurdish_sorani", name := "Kurdish (Sorani)", glottocode := some "cent1972" }

def Bobaljik2012.Structures.ossetian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ossetian = { id := "ossetian", name := "Ossetian", glottocode := none }

def Bobaljik2012.Structures.pashto : Data.Structures.Language

Equations

• Bobaljik2012.Structures.pashto = { id := "pashto", name := "Pashto", glottocode := none }

def Bobaljik2012.Structures.shughni_rushan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.shughni_rushan = { id := "shughni_rushan", name := "Shughni-Rushan", glottocode := some "shug1248" }

def Bobaljik2012.Structures.tajik : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tajik = { id := "tajik", name := "Tajik", glottocode := some "taji1245" }

def Bobaljik2012.Structures.talysh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.talysh = { id := "talysh", name := "Talysh", glottocode := some "taly1247" }

def Bobaljik2012.Structures.tat : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tat = { id := "tat", name := "Tat", glottocode := none }

def Bobaljik2012.Structures.wakhi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.wakhi = { id := "wakhi", name := "Wakhi", glottocode := some "wakh1245" }

def Bobaljik2012.Structures.yagnobi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yagnobi = { id := "yagnobi", name := "Yagnobi", glottocode := some "yagn1238" }

def Bobaljik2012.Structures.zazaki : Data.Structures.Language

Equations

• Bobaljik2012.Structures.zazaki = { id := "zazaki", name := "Zazaki", glottocode := none }

def Bobaljik2012.Structures.estonian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.estonian = { id := "estonian", name := "Estonian", glottocode := some "esto1258" }

def Bobaljik2012.Structures.ingrian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ingrian = { id := "ingrian", name := "Ingrian", glottocode := some "ingr1248" }

def Bobaljik2012.Structures.karelian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.karelian = { id := "karelian", name := "Karelian", glottocode := some "kare1335" }

def Bobaljik2012.Structures.livonian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.livonian = { id := "livonian", name := "Livonian", glottocode := some "livv1244" }

def Bobaljik2012.Structures.lude : Data.Structures.Language

Equations

• Bobaljik2012.Structures.lude = { id := "lude", name := "Lude", glottocode := some "ludi1246" }

def Bobaljik2012.Structures.veps : Data.Structures.Language

Equations

• Bobaljik2012.Structures.veps = { id := "veps", name := "Veps", glottocode := some "veps1250" }

def Bobaljik2012.Structures.votic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.votic = { id := "votic", name := "Votic", glottocode := some "voti1245" }

def Bobaljik2012.Structures.saami_north : Data.Structures.Language

Equations

• Bobaljik2012.Structures.saami_north = { id := "saami_north", name := "Saami (North)", glottocode := some "nort2671" }

def Bobaljik2012.Structures.saami_south : Data.Structures.Language

Equations

• Bobaljik2012.Structures.saami_south = { id := "saami_south", name := "Saami (South)", glottocode := some "sout2674" }

def Bobaljik2012.Structures.saami_kildin : Data.Structures.Language

Equations

• Bobaljik2012.Structures.saami_kildin = { id := "saami_kildin", name := "Saami (Kildin)", glottocode := some "kild1236" }

def Bobaljik2012.Structures.hungarian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hungarian = { id := "hungarian", name := "Hungarian", glottocode := some "hung1274" }

def Bobaljik2012.Structures.khanty_ostyak : Data.Structures.Language

Equations

• Bobaljik2012.Structures.khanty_ostyak = { id := "khanty_ostyak", name := "Khanty (Ostyak)", glottocode := none }

def Bobaljik2012.Structures.mansi_vogul : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mansi_vogul = { id := "mansi_vogul", name := "Mansi (Vogul)", glottocode := none }

def Bobaljik2012.Structures.mari_cheremis : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mari_cheremis = { id := "mari_cheremis", name := "Mari (Cheremis)", glottocode := none }

def Bobaljik2012.Structures.mordva : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mordva = { id := "mordva", name := "Mordva", glottocode := none }

def Bobaljik2012.Structures.komi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.komi = { id := "komi", name := "Komi", glottocode := none }

def Bobaljik2012.Structures.nganasan_tavgy : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nganasan_tavgy = { id := "nganasan_tavgy", name := "Nganasan (Tavgy)", glottocode := some "ngan1291" }

def Bobaljik2012.Structures.selkup : Data.Structures.Language

Equations

• Bobaljik2012.Structures.selkup = { id := "selkup", name := "Selkup", glottocode := some "selk1253" }

def Bobaljik2012.Structures.manchu : Data.Structures.Language

Equations

• Bobaljik2012.Structures.manchu = { id := "manchu", name := "Manchu", glottocode := some "manc1252" }

def Bobaljik2012.Structures.nanai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nanai = { id := "nanai", name := "Nanai", glottocode := some "nana1257" }

def Bobaljik2012.Structures.negidal : Data.Structures.Language

Equations

• Bobaljik2012.Structures.negidal = { id := "negidal", name := "Negidal", glottocode := some "negi1245" }

def Bobaljik2012.Structures.orochi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.orochi = { id := "orochi", name := "Orochi", glottocode := some "oroc1248" }

def Bobaljik2012.Structures.orok : Data.Structures.Language

Equations

• Bobaljik2012.Structures.orok = { id := "orok", name := "Orok", glottocode := some "orok1265" }

def Bobaljik2012.Structures.ulch : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ulch = { id := "ulch", name := "Ulch", glottocode := some "ulch1241" }

def Bobaljik2012.Structures.azeri : Data.Structures.Language

Equations

• Bobaljik2012.Structures.azeri = { id := "azeri", name := "Azeri", glottocode := some "nort2697" }

def Bobaljik2012.Structures.chuvash : Data.Structures.Language

Equations

• Bobaljik2012.Structures.chuvash = { id := "chuvash", name := "Chuvash", glottocode := some "chuv1255" }

def Bobaljik2012.Structures.gagauz : Data.Structures.Language

Equations

• Bobaljik2012.Structures.gagauz = { id := "gagauz", name := "Gagauz", glottocode := some "gaga1249" }

def Bobaljik2012.Structures.karachay_balkar : Data.Structures.Language

Equations

• Bobaljik2012.Structures.karachay_balkar = { id := "karachay_balkar", name := "Karachay-Balkar", glottocode := some "kara1465" }

def Bobaljik2012.Structures.karaim : Data.Structures.Language

Equations

• Bobaljik2012.Structures.karaim = { id := "karaim", name := "Karaim", glottocode := some "kara1464" }

def Bobaljik2012.Structures.kazakh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kazakh = { id := "kazakh", name := "Kazakh", glottocode := some "kaza1248" }

def Bobaljik2012.Structures.kirghiz : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kirghiz = { id := "kirghiz", name := "Kirghiz", glottocode := some "kirg1245" }

def Bobaljik2012.Structures.kumyk : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kumyk = { id := "kumyk", name := "Kumyk", glottocode := some "kumy1244" }

def Bobaljik2012.Structures.nogai : Data.Structures.Language

Equations

• Bobaljik2012.Structures.nogai = { id := "nogai", name := "Nogai", glottocode := some "noga1249" }

def Bobaljik2012.Structures.shor : Data.Structures.Language

Equations

• Bobaljik2012.Structures.shor = { id := "shor", name := "Shor", glottocode := some "shor1247" }

def Bobaljik2012.Structures.tatar : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tatar = { id := "tatar", name := "Tatar", glottocode := some "tata1255" }

def Bobaljik2012.Structures.turkish : Data.Structures.Language

Equations

• Bobaljik2012.Structures.turkish = { id := "turkish", name := "Turkish", glottocode := some "nucl1301" }

def Bobaljik2012.Structures.turkic_old : Data.Structures.Language

Equations

• Bobaljik2012.Structures.turkic_old = { id := "turkic_old", name := "Turkic (Old)", glottocode := some "oldu1238" }

def Bobaljik2012.Structures.turkmen : Data.Structures.Language

Equations

• Bobaljik2012.Structures.turkmen = { id := "turkmen", name := "Turkmen", glottocode := some "turk1304" }

def Bobaljik2012.Structures.uyghur : Data.Structures.Language

Equations

• Bobaljik2012.Structures.uyghur = { id := "uyghur", name := "Uyghur", glottocode := some "uigh1240" }

def Bobaljik2012.Structures.uzbek : Data.Structures.Language

Equations

• Bobaljik2012.Structures.uzbek = { id := "uzbek", name := "Uzbek", glottocode := some "nort2690" }

def Bobaljik2012.Structures.bonan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bonan = { id := "bonan", name := "Bonan", glottocode := some "bona1250" }

def Bobaljik2012.Structures.buryat : Data.Structures.Language

Equations

• Bobaljik2012.Structures.buryat = { id := "buryat", name := "Buryat", glottocode := some "russ1264" }

def Bobaljik2012.Structures.dagur : Data.Structures.Language

Equations

• Bobaljik2012.Structures.dagur = { id := "dagur", name := "Dagur", glottocode := some "daur1238" }

def Bobaljik2012.Structures.kalmyk : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kalmyk = { id := "kalmyk", name := "Kalmyk", glottocode := some "kalm1244" }

def Bobaljik2012.Structures.moghol : Data.Structures.Language

Equations

• Bobaljik2012.Structures.moghol = { id := "moghol", name := "Moghol", glottocode := some "mogh1245" }

def Bobaljik2012.Structures.mongghul : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mongghul = { id := "mongghul", name := "Mongghul", glottocode := some "huzh1238" }

def Bobaljik2012.Structures.oirat : Data.Structures.Language

Equations

• Bobaljik2012.Structures.oirat = { id := "oirat", name := "Oirat", glottocode := some "kalm1243" }

def Bobaljik2012.Structures.ordos : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ordos = { id := "ordos", name := "Ordos", glottocode := some "ordo1245" }

def Bobaljik2012.Structures.santa : Data.Structures.Language

Equations

• Bobaljik2012.Structures.santa = { id := "santa", name := "Santa", glottocode := some "dong1285" }

def Bobaljik2012.Structures.shira_yughur : Data.Structures.Language

Equations

• Bobaljik2012.Structures.shira_yughur = { id := "shira_yughur", name := "Shira Yughur", glottocode := some "east2337" }

def Bobaljik2012.Structures.kott : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kott = { id := "kott", name := "Kott", glottocode := some "kott1240" }

def Bobaljik2012.Structures.yugh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.yugh = { id := "yugh", name := "Yugh", glottocode := some "yugh1239" }

def Bobaljik2012.Structures.alutor : Data.Structures.Language

Equations

• Bobaljik2012.Structures.alutor = { id := "alutor", name := "Alutor", glottocode := some "alut1245" }

def Bobaljik2012.Structures.kerek : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kerek = { id := "kerek", name := "Kerek", glottocode := some "kere1280" }

def Bobaljik2012.Structures.koryak : Data.Structures.Language

Equations

• Bobaljik2012.Structures.koryak = { id := "koryak", name := "Koryak", glottocode := some "kory1246" }

def Bobaljik2012.Structures.georgian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.georgian = { id := "georgian", name := "Georgian", glottocode := some "nucl1302" }

def Bobaljik2012.Structures.mingrelian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.mingrelian = { id := "mingrelian", name := "Mingrelian", glottocode := some "ming1252" }

def Bobaljik2012.Structures.laz_chan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.laz_chan = { id := "laz_chan", name := "Laz (Chan)", glottocode := some "lazz1240" }

def Bobaljik2012.Structures.svan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.svan = { id := "svan", name := "Svan", glottocode := some "svan1243" }

def Bobaljik2012.Structures.abaza : Data.Structures.Language

Equations

• Bobaljik2012.Structures.abaza = { id := "abaza", name := "Abaza", glottocode := some "abaz1241" }

def Bobaljik2012.Structures.adyghe : Data.Structures.Language

Equations

• Bobaljik2012.Structures.adyghe = { id := "adyghe", name := "Adyghe", glottocode := some "adyg1241" }

def Bobaljik2012.Structures.kabardian : Data.Structures.Language

Equations

• Bobaljik2012.Structures.kabardian = { id := "kabardian", name := "Kabardian", glottocode := some "kaba1278" }

def Bobaljik2012.Structures.ubykh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ubykh = { id := "ubykh", name := "Ubykh", glottocode := some "ubyk1235" }

def Bobaljik2012.Structures.chechen : Data.Structures.Language

Equations

• Bobaljik2012.Structures.chechen = { id := "chechen", name := "Chechen", glottocode := some "chec1245" }

def Bobaljik2012.Structures.ingush : Data.Structures.Language

Equations

• Bobaljik2012.Structures.ingush = { id := "ingush", name := "Ingush", glottocode := some "ingu1240" }

def Bobaljik2012.Structures.batsbi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.batsbi = { id := "batsbi", name := "Batsbi", glottocode := some "bats1242" }

def Bobaljik2012.Structures.avar : Data.Structures.Language

Equations

• Bobaljik2012.Structures.avar = { id := "avar", name := "Avar", glottocode := some "avar1256" }

def Bobaljik2012.Structures.andi : Data.Structures.Language

Equations

• Bobaljik2012.Structures.andi = { id := "andi", name := "Andi", glottocode := some "andi1255" }

def Bobaljik2012.Structures.botlikh : Data.Structures.Language

Equations

• Bobaljik2012.Structures.botlikh = { id := "botlikh", name := "Botlikh", glottocode := some "botl1242" }

def Bobaljik2012.Structures.bagvalal : Data.Structures.Language

Equations

• Bobaljik2012.Structures.bagvalal = { id := "bagvalal", name := "Bagvalal", glottocode := some "bagv1239" }

def Bobaljik2012.Structures.tsez : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tsez = { id := "tsez", name := "Tsez", glottocode := some "dido1241" }

def Bobaljik2012.Structures.tabasaran : Data.Structures.Language

Equations

• Bobaljik2012.Structures.tabasaran = { id := "tabasaran", name := "Tabasaran", glottocode := some "taba1259" }

def Bobaljik2012.Structures.amharic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.amharic = { id := "amharic", name := "Amharic", glottocode := some "amha1245" }

def Bobaljik2012.Structures.arabic_gulf : Data.Structures.Language

Equations

• Bobaljik2012.Structures.arabic_gulf = { id := "arabic_gulf", name := "Arabic (Gulf)", glottocode := some "gulf1241" }

def Bobaljik2012.Structures.arabic_moroccan : Data.Structures.Language

Equations

• Bobaljik2012.Structures.arabic_moroccan = { id := "arabic_moroccan", name := "Arabic (Moroccan)", glottocode := some "moro1292" }

def Bobaljik2012.Structures.assyrian_neo_aramaic : Data.Structures.Language

Equations

• Bobaljik2012.Structures.assyrian_neo_aramaic = { id := "assyrian_neo_aramaic", name := "Assyrian Neo-Aramaic", glottocode := some "assy1241" }

def Bobaljik2012.Structures.hebrew_biblical : Data.Structures.Language

Equations

• Bobaljik2012.Structures.hebrew_biblical = { id := "hebrew_biblical", name := "Hebrew (Biblical)", glottocode := some "bibl1238" }

def Bobaljik2012.Structures.maltese : Data.Structures.Language

Equations

• Bobaljik2012.Structures.maltese = { id := "maltese", name := "Maltese", glottocode := some "malt1254" }

def Bobaljik2012.Structures.broadSample : List Row

The broad sample of Appendix A: 148 languages chosen on a quasi-random basis, each with the type of its comparative construction, the expression of comparison on the adjective and of the relative superlative, and whether there is suppletion (section 1.3). The rows of Table A.1, in the order of the source (bobaljik-2012, Table A.1).

Equations

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

def Bobaljik2012.Structures.focusedSurvey : List Row

The focused survey of Appendix B: 174 languages with morphological comparison or comparative suppletion and their relatives, each with the expression of comparison on the adjective and of the relative superlative, and whether there is suppletion (section 1.3). The rows of Table B.1, in the order of the source (bobaljik-2012, Table B.1).

Equations

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