Jardine2016a: word forms

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

@[reducible, inline]

abbrev Jardine2016a.Forms.Cell : Type

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

Equations

• Jardine2016a.Forms.Cell = UD.MorphFeatures

def Jardine2016a.Forms.Lexemes.cup : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.cup = { id := "cup", languageId := "gand1255", parameterId := "cup" }

def Jardine2016a.Forms.Lexemes.log : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.log = { id := "log", languageId := "gand1255", parameterId := "log" }

def Jardine2016a.Forms.Lexemes.book : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.book = { id := "book", languageId := "gand1255", parameterId := "book" }

def Jardine2016a.Forms.Lexemes.seller : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.seller = { id := "seller", languageId := "gand1255", parameterId := "seller" }

def Jardine2016a.Forms.Lexemes.chopper : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.chopper = { id := "chopper", languageId := "gand1255", parameterId := "chopper" }

def Jardine2016a.Forms.Lexemes.cup_seller : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.cup_seller = { id := "cup_seller", languageId := "gand1255", parameterId := "cup_seller" }

def Jardine2016a.Forms.Lexemes.log_chopper : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.log_chopper = { id := "log_chopper", languageId := "gand1255", parameterId := "log_chopper" }

def Jardine2016a.Forms.Lexemes.we_were_seen_by_walusimbi : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.we_were_seen_by_walusimbi = { id := "we_were_seen_by_walusimbi", languageId := "gand1255", parameterId := "we_were_seen_by_walusimbi" }

def Jardine2016a.Forms.Lexemes.we_saw_those_of_walusimbi : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.we_saw_those_of_walusimbi = { id := "we_saw_those_of_walusimbi", languageId := "gand1255", parameterId := "we_saw_those_of_walusimbi" }

def Jardine2016a.Forms.Lexemes.we_went_with_those_of_walusimbi : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.we_went_with_those_of_walusimbi = { id := "we_went_with_those_of_walusimbi", languageId := "gand1255", parameterId := "we_went_with_those_of_walusimbi" }

def Jardine2016a.Forms.Lexemes.no_gloss_18b : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.no_gloss_18b = { id := "no_gloss_18b", languageId := "zulu1248", parameterId := "no_gloss_18b" }

def Jardine2016a.Forms.Lexemes.the_handsome_person : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.the_handsome_person = { id := "the_handsome_person", languageId := "sara1340", parameterId := "the_handsome_person" }

def Jardine2016a.Forms.Lexemes.the_handsome_man : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.the_handsome_man = { id := "the_handsome_man", languageId := "sara1340", parameterId := "the_handsome_man" }

def Jardine2016a.Forms.Lexemes.the_handsome_woman : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.the_handsome_woman = { id := "the_handsome_woman", languageId := "sara1340", parameterId := "the_handsome_woman" }

def Jardine2016a.Forms.Lexemes.the_iguana_there_has_eggs : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.the_iguana_there_has_eggs = { id := "the_iguana_there_has_eggs", languageId := "sara1340", parameterId := "the_iguana_there_has_eggs" }

def Jardine2016a.Forms.Lexemes.the_strong_american_man : Data.Forms.Lexeme

Equations

• Jardine2016a.Forms.Lexemes.the_strong_american_man = { id := "the_strong_american_man", languageId := "sara1340", parameterId := "the_strong_american_man" }

def Jardine2016a.Forms.f_8_kikopo : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_8_kisiki : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_8_kitabo : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_8_mutunda : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_8_mutema : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_9a : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_9b : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_10b : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_12a : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_12b : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_18b : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_21a : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_21b : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_21c : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_21d : Data.Forms.Form Cell

Equations

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

def Jardine2016a.Forms.f_21e : Data.Forms.Form Cell

Equations

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

structure Jardine2016a.Forms.Analysis : Type

The source's analysis of a form, its parse rather than data.

• form : Data.Forms.Form Cell

  The form analysed.

• underlying : String

  The Underlying column.

• underlyingTones : String

  The UnderlyingTones column.

• surfaceTones : String

  The SurfaceTones column.

def Jardine2016a.Forms.instDecidableEqAnalysis.decEq (x✝ x✝¹ : Analysis) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Jardine2016a.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• Jardine2016a.Forms.instDecidableEqAnalysis = Jardine2016a.Forms.instDecidableEqAnalysis.decEq

@[instance_reducible]

instance Jardine2016a.Forms.instReprAnalysis : Repr Analysis

Equations

• Jardine2016a.Forms.instReprAnalysis = { reprPrec := Jardine2016a.Forms.instReprAnalysis.repr }

def Jardine2016a.Forms.instReprAnalysis.repr : Analysis → ℕ → Std.Format

Equations

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

def Jardine2016a.Forms.f_8_kikopo.analysis : Analysis

Equations

• Jardine2016a.Forms.f_8_kikopo.analysis = { form := Jardine2016a.Forms.f_8_kikopo, underlying := "/ki-kópo/", underlyingTones := "OHO", surfaceTones := "OHO" }

def Jardine2016a.Forms.f_8_kisiki.analysis : Analysis

Equations

• Jardine2016a.Forms.f_8_kisiki.analysis = { form := Jardine2016a.Forms.f_8_kisiki, underlying := "/ki-sikí/", underlyingTones := "OOH", surfaceTones := "OOH" }

def Jardine2016a.Forms.f_8_kitabo.analysis : Analysis

Equations

• Jardine2016a.Forms.f_8_kitabo.analysis = { form := Jardine2016a.Forms.f_8_kitabo, underlying := "/ki-tabo/", underlyingTones := "OOO", surfaceTones := "OOO" }

def Jardine2016a.Forms.f_8_mutunda.analysis : Analysis

Equations

• Jardine2016a.Forms.f_8_mutunda.analysis = { form := Jardine2016a.Forms.f_8_mutunda, underlying := "/mu-tund-a/", underlyingTones := "OOO", surfaceTones := "OOO" }

def Jardine2016a.Forms.f_8_mutema.analysis : Analysis

Equations

• Jardine2016a.Forms.f_8_mutema.analysis = { form := Jardine2016a.Forms.f_8_mutema, underlying := "/mu-tém-a/", underlyingTones := "OHO", surfaceTones := "OHO" }

def Jardine2016a.Forms.f_9a.analysis : Analysis

Equations

• Jardine2016a.Forms.f_9a.analysis = { form := Jardine2016a.Forms.f_9a, underlying := "/mu-tund-a+bi-kópo/", underlyingTones := "OOOOHO", surfaceTones := "OOOOHO" }

def Jardine2016a.Forms.f_9b.analysis : Analysis

Equations

• Jardine2016a.Forms.f_9b.analysis = { form := Jardine2016a.Forms.f_9b, underlying := "/mu-tém-a+bi-sikí/", underlyingTones := "OHOOOH", surfaceTones := "OHHHHH" }

def Jardine2016a.Forms.f_10b.analysis : Analysis

Equations

• Jardine2016a.Forms.f_10b.analysis = { form := Jardine2016a.Forms.f_10b, underlying := "/tw-áa-láb-w-a walúsimbi/", underlyingTones := "HHHOOHOO", surfaceTones := "HHHHHHOO" }

def Jardine2016a.Forms.f_12a.analysis : Analysis

Equations

• Jardine2016a.Forms.f_12a.analysis = { form := Jardine2016a.Forms.f_12a, underlying := "/tw-áa-láb-a byaa=walúsimbi/", underlyingTones := "HHHOOOOHOO", surfaceTones := "HHHHHHHHOO" }

def Jardine2016a.Forms.f_12b.analysis : Analysis

Equations

• Jardine2016a.Forms.f_12b.analysis = { form := Jardine2016a.Forms.f_12b, underlying := "/tw-áa-génd-a na=byaa=ba=walúsimbi/", underlyingTones := "HHHOOOOOOHOO", surfaceTones := "HHHHHHHHHHOO" }

def Jardine2016a.Forms.f_18b.analysis : Analysis

Equations

• Jardine2016a.Forms.f_18b.analysis = { form := Jardine2016a.Forms.f_18b, underlying := "/ámàkhòsánà/", underlyingTones := "HOOHO", surfaceTones := "HHHHO" }

def Jardine2016a.Forms.f_21a.analysis : Analysis

Equations

• Jardine2016a.Forms.f_21a.analysis = { form := Jardine2016a.Forms.f_21a, underlying := "/dí hánso sëmbë/", underlyingTones := "HHOOO", surfaceTones := "HHOOO" }

def Jardine2016a.Forms.f_21b.analysis : Analysis

Equations

• Jardine2016a.Forms.f_21b.analysis = { form := Jardine2016a.Forms.f_21b, underlying := "/dí hánso wómi/", underlyingTones := "HHOHO", surfaceTones := "HHHHO" }

def Jardine2016a.Forms.f_21c.analysis : Analysis

Equations

• Jardine2016a.Forms.f_21c.analysis = { form := Jardine2016a.Forms.f_21c, underlying := "/dí hánso mujêE/", underlyingTones := "HHOOHO", surfaceTones := "HHHHHO" }

def Jardine2016a.Forms.f_21d.analysis : Analysis

Equations

• Jardine2016a.Forms.f_21d.analysis = { form := Jardine2016a.Forms.f_21d, underlying := "/dí wajamáka=dé á óbo/", underlyingTones := "HOOHOHHHO", surfaceTones := "HHHHHHHHO" }

def Jardine2016a.Forms.f_21e.analysis : Analysis

Equations

• Jardine2016a.Forms.f_21e.analysis = { form := Jardine2016a.Forms.f_21e, underlying := "/taánga amEEká wómi/", underlyingTones := "OHOOOOHHO", surfaceTones := "OHHHHHHHO" }

def Jardine2016a.Forms.lexemes : List Data.Forms.Lexeme

Every lexeme of the data.

Equations

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

def Jardine2016a.Forms.all : List (Data.Forms.Form Cell)

Every form the sources accept.

Equations

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

def Jardine2016a.Forms.marked : List (Data.Forms.Form Cell)

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

Equations

• Jardine2016a.Forms.marked = []

def Jardine2016a.Forms.relations : List (Data.Forms.FormRelation (Data.Forms.Form Cell))

Every relation the sources assert between forms.

Equations

• Jardine2016a.Forms.relations = []

def Jardine2016a.Forms.analyses : List Analysis

Every analysis of the data.

Equations

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