Dixon1982: language samples

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

inductive Dixon1982.StructureDataset.PartOfSpeech : Type

part of speech: The part of speech of the items of a semantic type in a language, in the abbreviations of Table 2 (p. 35).

• adjective : PartOfSpeech

  A: adjective

• noun : PartOfSpeech

  N: noun

• verb : PartOfSpeech

  V: verb

• adverb : PartOfSpeech

  ADVERB: adverb

• particle : PartOfSpeech

  PART: particle

• verbalisedNoun : PartOfSpeech

  Nᵛ: verbalised noun, a verb compounding a noun with hu 'do' or a few other verbs (Hua, p. 41)

• nounAdjective : PartOfSpeech

  N-A: a noun that can also modify as an adjective (Telugu, p. 42)

• adjunctiveN : PartOfSpeech

  Ad[+N]: an adjunctive that modifies only nouns (Sango, p. 39)

• adjunctiveV : PartOfSpeech

  Ad[+V]: an adjunctive that modifies only verbs (Sango, p. 39)

• adjunctiveNVS : PartOfSpeech

  Ad[+N,+V,S]: an adjunctive that modifies nouns or verbs or is a substantive (Sango, p. 39)

• adjunctiveNS : PartOfSpeech

  Ad[+N,S]: an adjunctive that modifies nouns or is a substantive (Sango, p. 39)

• adjectiveVerb : PartOfSpeech

  A/V: an adjective for the unmarked member of an antonym pair and a verb for the marked (pp. 51-52)

• nounVerb : PartOfSpeech

  N/V: a noun for the unmarked member of an antonym pair and a verb for the marked (pp. 51-52)

• adjectiveAdverb : PartOfSpeech

  A/ADVERB: an adjective for one member of an antonym pair and an adverb for the other (Luganda, p. 48)

• nounAdverb : PartOfSpeech

  N/ADVERB: a noun for the unmarked member of an antonym pair and an adverb for the marked (Hausa, p. 52)

@[instance_reducible]

instance Dixon1982.StructureDataset.instDecidableEqPartOfSpeech : DecidableEq PartOfSpeech

Equations

• Dixon1982.StructureDataset.instDecidableEqPartOfSpeech x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Dixon1982.StructureDataset.instReprPartOfSpeech.repr : PartOfSpeech → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Dixon1982.StructureDataset.instReprPartOfSpeech : Repr PartOfSpeech

Equations

• Dixon1982.StructureDataset.instReprPartOfSpeech = { reprPrec := Dixon1982.StructureDataset.instReprPartOfSpeech.repr }

structure Dixon1982.StructureDataset.Row : Type

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

• language : CLDF.StructureDataset.Language

  The language.

• speed : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for SPEED.

• dimension : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for DIMENSION.

• physicalProperty : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for PHYSICAL PROPERTY.

• color : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for COLOUR.

• humanPropensity : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for HUMAN PROPENSITY.

• value : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for VALUE.

• age : List (CLDF.StructureDataset.Coded PartOfSpeech)

  The codes for AGE.

@[instance_reducible]

instance Dixon1982.StructureDataset.instDecidableEqRow : DecidableEq Row

Equations

• Dixon1982.StructureDataset.instDecidableEqRow = Dixon1982.StructureDataset.instDecidableEqRow.decEq

def Dixon1982.StructureDataset.instDecidableEqRow.decEq (x✝ x✝¹ : Row) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Dixon1982.StructureDataset.instReprRow : Repr Row

Equations

• Dixon1982.StructureDataset.instReprRow = { reprPrec := Dixon1982.StructureDataset.instReprRow.repr }

def Dixon1982.StructureDataset.instReprRow.repr : Row → ℕ → Std.Format

Equations

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

def Dixon1982.StructureDataset.swahili : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.swahili = { id := "swahili", name := "Swahili", glottocode := some "swah1253" }

def Dixon1982.StructureDataset.luganda : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.luganda = { id := "luganda", name := "Luganda", glottocode := some "gand1255" }

def Dixon1982.StructureDataset.bemba : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.bemba = { id := "bemba", name := "Bemba", glottocode := some "bemb1257" }

def Dixon1982.StructureDataset.japanese : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.japanese = { id := "japanese", name := "Japanese", glottocode := some "nucl1643" }

def Dixon1982.StructureDataset.sango : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.sango = { id := "sango", name := "Sango", glottocode := some "sang1328" }

def Dixon1982.StructureDataset.hausa : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.hausa = { id := "hausa", name := "Hausa", glottocode := some "haus1257" }

def Dixon1982.StructureDataset.acooli : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.acooli = { id := "acooli", name := "Acooli", glottocode := some "acol1236" }

def Dixon1982.StructureDataset.hua : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.hua = { id := "hua", name := "Hua", glottocode := some "huaa1250" }

def Dixon1982.StructureDataset.alamblak : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.alamblak = { id := "alamblak", name := "Alamblak", glottocode := some "alam1246" }

def Dixon1982.StructureDataset.telugu : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.telugu = { id := "telugu", name := "Telugu", glottocode := some "telu1262" }

def Dixon1982.StructureDataset.kiriwinian : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.kiriwinian = { id := "kiriwinian", name := "Kiriwinian", glottocode := some "kili1267" }

def Dixon1982.StructureDataset.tzotzil : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.tzotzil = { id := "tzotzil", name := "Tzotzil", glottocode := some "tzot1259" }

def Dixon1982.StructureDataset.chinook : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.chinook = { id := "chinook", name := "Chinook", glottocode := some "wasc1239" }

def Dixon1982.StructureDataset.yurok : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.yurok = { id := "yurok", name := "Yurok", glottocode := some "yuro1248" }

def Dixon1982.StructureDataset.samoan : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.samoan = { id := "samoan", name := "Samoan", glottocode := some "samo1305" }

def Dixon1982.StructureDataset.english : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.english = { id := "english", name := "English", glottocode := some "stan1293" }

def Dixon1982.StructureDataset.dyirbal : CLDF.StructureDataset.Language

Equations

• Dixon1982.StructureDataset.dyirbal = { id := "dyirbal", name := "Dyirbal", glottocode := some "dyir1250" }

def Dixon1982.StructureDataset.table2 : List Row

The part-of-speech membership of the seven types, from the basic part of speech of the roots expressing three dozen representative concepts in each language (§1.4.1). The rows of Table 2, in the order of the source (dixon-1982, Table 2, p. 35).

Equations

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