Terenghi2023: word forms

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

inductive Terenghi2023.Wordlist.Term : Type

The values of Term the source distinguishes.

• dem1 : Term

  The first term, speaker-related, DEM.1 in the source.

• dem2 : Term

  The second term, hearer-related, DEM.2 in the source.

• dem3 : Term

  The third term, DEM.3 in the source.

• local : Term

  The term of the area related to the discourse participants, Local in the source.

• nonLocal : Term

  The term of the area not related to the discourse participants, Non-local in the source.

@[instance_reducible]

instance Terenghi2023.Wordlist.instDecidableEqTerm : DecidableEq Term

Equations

• Terenghi2023.Wordlist.instDecidableEqTerm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Terenghi2023.Wordlist.instReprTerm.repr : Term → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Terenghi2023.Wordlist.instReprTerm : Repr Term

Equations

• Terenghi2023.Wordlist.instReprTerm = { reprPrec := Terenghi2023.Wordlist.instReprTerm.repr }

inductive Terenghi2023.Wordlist.Subdivision : Type

The values of Subdivision the source distinguishes.

• nearest : Subdivision

  The nearest degree of distance, Nearest in the source.

• nearer : Subdivision

  The nearer degree of distance, Nearer in the source.

• near : Subdivision

  The near degree of distance, Near in the source.

• unmarked : Subdivision

  The term without a reinforcer, Unmarked in the source.

• speakerCentred : Subdivision

  Speaker-related, with the reinforcer aqui, S-centred in the source.

• addresseeCentred : Subdivision

  Hearer-related, with the reinforcer aí, A-centred in the source.

• proximal : Subdivision

  Proximal, with the reinforcer ali, Proximal in the source.

• distal : Subdivision

  Distal, with the reinforcer lá, Distal in the source.

• contact : Subdivision

  Contact with the participant, + in the source.

@[instance_reducible]

instance Terenghi2023.Wordlist.instDecidableEqSubdivision : DecidableEq Subdivision

Equations

• Terenghi2023.Wordlist.instDecidableEqSubdivision x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Terenghi2023.Wordlist.instReprSubdivision : Repr Subdivision

Equations

• Terenghi2023.Wordlist.instReprSubdivision = { reprPrec := Terenghi2023.Wordlist.instReprSubdivision.repr }

def Terenghi2023.Wordlist.instReprSubdivision.repr : Subdivision → ℕ → Std.Format

Equations

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

structure Terenghi2023.Wordlist.Cellextends UD.MorphFeatures : Type

A cell of the source's tables, by its Universal Dependencies features and the features UD lacks.

• pronType : Flat PronType
• numType : Flat NumType
• poss : Bool
• reflex : Bool
• foreign : Bool
• abbr : Bool
• typo : Bool
• gender : Flat Gender
• animacy : Flat Animacy
• number : Flat Number
• case : Flat Case
• definite : Flat Definite
• degree : Flat Degree
• verbForm : Flat VerbForm
• mood : Flat Mood
• tense : Flat Tense
• aspect : Flat Aspect
• voice : Flat Voice
• evident : Flat Evident
• polarity : Flat Polarity
• person : Flat Person
• polite : Flat Polite
• clusivity : Flat Clusivity
• term : Flat Term

  The Term feature.

• subdivision : Flat Subdivision

  The Subdivision feature.

def Terenghi2023.Wordlist.instDecidableEqCell.decEq (x✝ x✝¹ : Cell) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Terenghi2023.Wordlist.instDecidableEqCell : DecidableEq Cell

Equations

• Terenghi2023.Wordlist.instDecidableEqCell = Terenghi2023.Wordlist.instDecidableEqCell.decEq

def Terenghi2023.Wordlist.instReprCell.repr : Cell → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Terenghi2023.Wordlist.instReprCell : Repr Cell

Equations

• Terenghi2023.Wordlist.instReprCell = { reprPrec := Terenghi2023.Wordlist.instReprCell.repr }

def Terenghi2023.Wordlist.dem1_nearest : Cell

The DEM.1, nearest cell, PronType=Dem|Term=DEM.1|Subdivision=Nearest.

Equations

• Terenghi2023.Wordlist.dem1_nearest = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem1, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearest }

def Terenghi2023.Wordlist.dem2_nearest : Cell

The DEM.2, nearest cell, PronType=Dem|Term=DEM.2|Subdivision=Nearest.

Equations

• Terenghi2023.Wordlist.dem2_nearest = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem2, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearest }

def Terenghi2023.Wordlist.dem3_nearest : Cell

The DEM.3, nearest cell, PronType=Dem|Term=DEM.3|Subdivision=Nearest.

Equations

• Terenghi2023.Wordlist.dem3_nearest = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem3, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearest }

def Terenghi2023.Wordlist.dem1_nearer : Cell

The DEM.1, nearer cell, PronType=Dem|Term=DEM.1|Subdivision=Nearer.

Equations

• Terenghi2023.Wordlist.dem1_nearer = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem1, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearer }

def Terenghi2023.Wordlist.dem2_nearer : Cell

The DEM.2, nearer cell, PronType=Dem|Term=DEM.2|Subdivision=Nearer.

Equations

• Terenghi2023.Wordlist.dem2_nearer = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem2, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearer }

def Terenghi2023.Wordlist.dem3_nearer : Cell

The DEM.3, nearer cell, PronType=Dem|Term=DEM.3|Subdivision=Nearer.

Equations

• Terenghi2023.Wordlist.dem3_nearer = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem3, subdivision := ↑Terenghi2023.Wordlist.Subdivision.nearer }

def Terenghi2023.Wordlist.dem1_near : Cell

The DEM.1, near cell, PronType=Dem|Term=DEM.1|Subdivision=Near.

Equations

• Terenghi2023.Wordlist.dem1_near = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem1, subdivision := ↑Terenghi2023.Wordlist.Subdivision.near }

def Terenghi2023.Wordlist.dem2_near : Cell

The DEM.2, near cell, PronType=Dem|Term=DEM.2|Subdivision=Near.

Equations

• Terenghi2023.Wordlist.dem2_near = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem2, subdivision := ↑Terenghi2023.Wordlist.Subdivision.near }

def Terenghi2023.Wordlist.dem3_near : Cell

The DEM.3, near cell, PronType=Dem|Term=DEM.3|Subdivision=Near.

Equations

• Terenghi2023.Wordlist.dem3_near = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem3, subdivision := ↑Terenghi2023.Wordlist.Subdivision.near }

def Terenghi2023.Wordlist.local_unmarked : Cell

The Local, Unmarked cell, PronType=Dem|Term=Local|Subdivision=Unmarked.

Equations

• Terenghi2023.Wordlist.local_unmarked = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.local, subdivision := ↑Terenghi2023.Wordlist.Subdivision.unmarked }

def Terenghi2023.Wordlist.local_speakerCentred : Cell

The Local, S-centred cell, PronType=Dem|Term=Local|Subdivision=S-centred.

Equations

• Terenghi2023.Wordlist.local_speakerCentred = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.local, subdivision := ↑Terenghi2023.Wordlist.Subdivision.speakerCentred }

def Terenghi2023.Wordlist.local_addresseeCentred : Cell

The Local, A-centred cell, PronType=Dem|Term=Local|Subdivision=A-centred.

Equations

• Terenghi2023.Wordlist.local_addresseeCentred = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.local, subdivision := ↑Terenghi2023.Wordlist.Subdivision.addresseeCentred }

def Terenghi2023.Wordlist.nonLocal_unmarked : Cell

The Non-local, Unmarked cell, PronType=Dem|Term=Non-local|Subdivision=Unmarked.

Equations

• Terenghi2023.Wordlist.nonLocal_unmarked = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.nonLocal, subdivision := ↑Terenghi2023.Wordlist.Subdivision.unmarked }

def Terenghi2023.Wordlist.nonLocal_proximal : Cell

The Non-local, Proximal cell, PronType=Dem|Term=Non-local|Subdivision=Proximal.

Equations

• Terenghi2023.Wordlist.nonLocal_proximal = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.nonLocal, subdivision := ↑Terenghi2023.Wordlist.Subdivision.proximal }

def Terenghi2023.Wordlist.nonLocal_distal : Cell

The Non-local, Distal cell, PronType=Dem|Term=Non-local|Subdivision=Distal.

Equations

• Terenghi2023.Wordlist.nonLocal_distal = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.nonLocal, subdivision := ↑Terenghi2023.Wordlist.Subdivision.distal }

def Terenghi2023.Wordlist.dem1_contact : Cell

The DEM.1+ cell, PronType=Dem|Term=DEM.1|Subdivision=+.

Equations

• Terenghi2023.Wordlist.dem1_contact = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem1, subdivision := ↑Terenghi2023.Wordlist.Subdivision.contact }

def Terenghi2023.Wordlist.dem1 : Cell

The DEM.1 cell, PronType=Dem|Term=DEM.1.

Equations

• Terenghi2023.Wordlist.dem1 = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem1 }

def Terenghi2023.Wordlist.dem2_contact : Cell

The DEM.2+ cell, PronType=Dem|Term=DEM.2|Subdivision=+.

Equations

• Terenghi2023.Wordlist.dem2_contact = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem2, subdivision := ↑Terenghi2023.Wordlist.Subdivision.contact }

def Terenghi2023.Wordlist.dem2 : Cell

The DEM.2 cell, PronType=Dem|Term=DEM.2.

Equations

• Terenghi2023.Wordlist.dem2 = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem2 }

def Terenghi2023.Wordlist.dem3 : Cell

The DEM.3 cell, PronType=Dem|Term=DEM.3.

Equations

• Terenghi2023.Wordlist.dem3 = { pronType := ↑UD.PronType.Dem, term := ↑Terenghi2023.Wordlist.Term.dem3 }

def Terenghi2023.Wordlist.Lexemes.dem_mundari : CLDF.Wordlist.Lexeme

Equations

• Terenghi2023.Wordlist.Lexemes.dem_mundari = { id := "dem_mundari", languageId := "mund1320", parameterId := "demonstrative", label := "ni" }

def Terenghi2023.Wordlist.Lexemes.dem_portuguese : CLDF.Wordlist.Lexeme

Equations

• Terenghi2023.Wordlist.Lexemes.dem_portuguese = { id := "dem_portuguese", languageId := "braz1246", parameterId := "demonstrative", label := "esse" }

def Terenghi2023.Wordlist.Lexemes.dem_satawal : CLDF.Wordlist.Lexeme

Equations

• Terenghi2023.Wordlist.Lexemes.dem_satawal = { id := "dem_satawal", languageId := "sata1237", parameterId := "demonstrative", label := "minne" }

def Terenghi2023.Wordlist.mundari_ni : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_in : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_hin : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_ne : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_en : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_hen : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_na : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_an : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.mundari_han : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_esse : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_esse_aqui : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_esse_ai : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_aquele : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_aquele_ali : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.portuguese_aquele_la : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.satawal_minne : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.satawal_minnen : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.satawal_minna : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.satawal_minimu : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.satawal_minnan : CLDF.Wordlist.Form Cell

Equations

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

def Terenghi2023.Wordlist.lexemes : List CLDF.Wordlist.Lexeme

Every lexeme of the data.

Equations

• Terenghi2023.Wordlist.lexemes = [Terenghi2023.Wordlist.Lexemes.dem_mundari, Terenghi2023.Wordlist.Lexemes.dem_portuguese, Terenghi2023.Wordlist.Lexemes.dem_satawal]

def Terenghi2023.Wordlist.all : List (CLDF.Wordlist.Form Cell)

Every form the sources accept.

Equations

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

def Terenghi2023.Wordlist.marked : List (CLDF.Wordlist.Form Cell)

Every form a source marks, as marginal, questionable, unacceptable or ungrammatical.

Equations

• Terenghi2023.Wordlist.marked = []

def Terenghi2023.Wordlist.relations : List (CLDF.Wordlist.FormRelation (CLDF.Wordlist.Form Cell))

Every relation the sources assert between forms.

Equations

• Terenghi2023.Wordlist.relations = []