Yolyan2025: word forms

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

@[reducible, inline]

abbrev Yolyan2025.Forms.Cell : Type

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

Equations

• Yolyan2025.Forms.Cell = UD.MorphFeatures

def Yolyan2025.Forms.Lexemes.they_will_arrive : Data.Forms.Lexeme

Equations

• Yolyan2025.Forms.Lexemes.they_will_arrive = { id := "they_will_arrive", languageId := "bemb1257", parameterId := "they_will_arrive" }

def Yolyan2025.Forms.Lexemes.they_will_introduce_him_her : Data.Forms.Lexeme

Equations

• Yolyan2025.Forms.Lexemes.they_will_introduce_him_her = { id := "they_will_introduce_him_her", languageId := "bemb1257", parameterId := "they_will_introduce_him_her" }

def Yolyan2025.Forms.Lexemes.they_will_hate : Data.Forms.Lexeme

Equations

• Yolyan2025.Forms.Lexemes.they_will_hate = { id := "they_will_hate", languageId := "bemb1257", parameterId := "they_will_hate" }

def Yolyan2025.Forms.Lexemes.they_will_introduce_them : Data.Forms.Lexeme

Equations

• Yolyan2025.Forms.Lexemes.they_will_introduce_them = { id := "they_will_introduce_them", languageId := "bemb1257", parameterId := "they_will_introduce_them" }

def Yolyan2025.Forms.Lexemes.to_pierce : Data.Forms.Lexeme

Equations

• Yolyan2025.Forms.Lexemes.to_pierce = { id := "to_pierce", languageId := "bemb1257", parameterId := "to_pierce" }

def Yolyan2025.Forms.f_2_11a_1 : Data.Forms.Form Cell

Equations

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

def Yolyan2025.Forms.f_2_11a_2 : Data.Forms.Form Cell

Equations

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

def Yolyan2025.Forms.f_2_11b_1 : Data.Forms.Form Cell

Equations

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

def Yolyan2025.Forms.f_2_11b_2 : Data.Forms.Form Cell

Equations

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

def Yolyan2025.Forms.f_2_11c : Data.Forms.Form Cell

Equations

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

structure Yolyan2025.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.

def Yolyan2025.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 Yolyan2025.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• Yolyan2025.Forms.instDecidableEqAnalysis = Yolyan2025.Forms.instDecidableEqAnalysis.decEq

@[instance_reducible]

instance Yolyan2025.Forms.instReprAnalysis : Repr Analysis

Equations

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

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

Equations

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

def Yolyan2025.Forms.f_2_11a_1.analysis : Analysis

Equations

• Yolyan2025.Forms.f_2_11a_1.analysis = { form := Yolyan2025.Forms.f_2_11a_1, underlying := "/bá-ka-fik-a/" }

def Yolyan2025.Forms.f_2_11a_2.analysis : Analysis

Equations

• Yolyan2025.Forms.f_2_11a_2.analysis = { form := Yolyan2025.Forms.f_2_11a_2, underlying := "/bá-ka-mu-londolol-a/" }

def Yolyan2025.Forms.f_2_11b_1.analysis : Analysis

Equations

• Yolyan2025.Forms.f_2_11b_1.analysis = { form := Yolyan2025.Forms.f_2_11b_1, underlying := "/bá-ka-pat-a kó/" }

def Yolyan2025.Forms.f_2_11b_2.analysis : Analysis

Equations

• Yolyan2025.Forms.f_2_11b_2.analysis = { form := Yolyan2025.Forms.f_2_11b_2, underlying := "/bá-ka-londolol-a kó/" }

def Yolyan2025.Forms.f_2_11c.analysis : Analysis

Equations

• Yolyan2025.Forms.f_2_11c.analysis = { form := Yolyan2025.Forms.f_2_11c, underlying := "/u-ku-tul-a/" }

def Yolyan2025.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 Yolyan2025.Forms.all : List (Data.Forms.Form Cell)

Every form the sources accept.

Equations

• Yolyan2025.Forms.all = [Yolyan2025.Forms.f_2_11a_1, Yolyan2025.Forms.f_2_11a_2, Yolyan2025.Forms.f_2_11b_1, Yolyan2025.Forms.f_2_11b_2, Yolyan2025.Forms.f_2_11c]

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

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

Equations

• Yolyan2025.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• Yolyan2025.Forms.relations = []

def Yolyan2025.Forms.analyses : List Analysis

Every analysis of the data.

Equations

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