Stojkovic2026: word forms

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

inductive Stojkovic2026.Forms.Root : Type

The values of Root the source distinguishes.

• plain : Root

  A plain root-final consonant, plain in the source.

• palatal : Root

  A palatal root-final consonant, palatal in the source.

@[instance_reducible]

instance Stojkovic2026.Forms.instDecidableEqRoot : DecidableEq Root

Equations

• Stojkovic2026.Forms.instDecidableEqRoot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Stojkovic2026.Forms.instReprRoot.repr : Root → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Stojkovic2026.Forms.instReprRoot : Repr Root

Equations

• Stojkovic2026.Forms.instReprRoot = { reprPrec := Stojkovic2026.Forms.instReprRoot.repr }

@[reducible, inline]

abbrev Stojkovic2026.Forms.Cell : Type

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

Equations

• Stojkovic2026.Forms.Cell = UD.MorphFeatures

def Stojkovic2026.Forms.l_form_f_sg : Cell

The l-form.f.sg cell, VerbForm=Part|Tense=Past|Gender=Fem|Number=Sing.

Equations

• Stojkovic2026.Forms.l_form_f_sg = { number := ↑UD.Number.Sing, gender := ↑UD.Gender.Fem, verbForm := ↑UD.VerbForm.Part, tense := ↑UD.Tense.Past }

def Stojkovic2026.Forms.prs_2sg : Cell

The 2sg.prs cell, Person=2|Number=Sing|Tense=Pres.

Equations

• Stojkovic2026.Forms.prs_2sg = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, tense := ↑UD.Tense.Pres }

def Stojkovic2026.Forms.Lexemes.abolish_belarusian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.abolish_belarusian = { id := "abolish_belarusian", languageId := "bela1254", variety := "Belarusian", parameterId := "abolish" }

def Stojkovic2026.Forms.Lexemes.care_for_bos_cro_mon_ser : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.care_for_bos_cro_mon_ser = { id := "care_for_bos_cro_mon_ser", languageId := "sout1528", variety := "Bos/Cro/Mon/Ser", parameterId := "care_for" }

def Stojkovic2026.Forms.Lexemes.kiss_bulgarian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.kiss_bulgarian = { id := "kiss_bulgarian", languageId := "bulg1262", variety := "Bulgarian", parameterId := "kiss" }

def Stojkovic2026.Forms.Lexemes.swear_at_god_bunyev_ac : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.swear_at_god_bunyev_ac = { id := "swear_at_god_bunyev_ac", languageId := "sout1528", variety := "Bunyev(ac)", parameterId := "swear_at_god" }

def Stojkovic2026.Forms.Lexemes.talk_carpathian_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.talk_carpathian_rusyn = { id := "talk_carpathian_rusyn", languageId := "rusy1239", variety := "Carpathian Rusyn", parameterId := "talk" }

def Stojkovic2026.Forms.Lexemes.buy_czech : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.buy_czech = { id := "buy_czech", languageId := "czec1258", variety := "Czech", parameterId := "buy" }

def Stojkovic2026.Forms.Lexemes.get_engaged_kashubian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.get_engaged_kashubian = { id := "get_engaged_kashubian", languageId := "kash1274", variety := "Kashubian", parameterId := "get_engaged" }

def Stojkovic2026.Forms.Lexemes.draw_lemko_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.draw_lemko_rusyn = { id := "draw_lemko_rusyn", languageId := "rusy1239", variety := "Lemko Rusyn", parameterId := "draw" }

def Stojkovic2026.Forms.Lexemes.paint_lower_sorbian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.paint_lower_sorbian = { id := "paint_lower_sorbian", languageId := "lowe1385", variety := "Lower Sorbian", parameterId := "paint" }

def Stojkovic2026.Forms.Lexemes.believe_macedonian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.believe_macedonian = { id := "believe_macedonian", languageId := "mace1250", variety := "Macedonian", parameterId := "believe" }

def Stojkovic2026.Forms.Lexemes.serve_pannonian_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.serve_pannonian_rusyn = { id := "serve_pannonian_rusyn", languageId := "pann1240", variety := "Pannonian Rusyn", parameterId := "serve" }

def Stojkovic2026.Forms.Lexemes.aim_podlachian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.aim_podlachian = { id := "aim_podlachian", languageId := "east1426", variety := "Podlachian", parameterId := "aim" }

def Stojkovic2026.Forms.Lexemes.work_polish : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.work_polish = { id := "work_polish", languageId := "poli1260", variety := "Polish", parameterId := "work" }

def Stojkovic2026.Forms.Lexemes.complain_russian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.complain_russian = { id := "complain_russian", languageId := "russ1263", variety := "Russian", parameterId := "complain" }

def Stojkovic2026.Forms.Lexemes.darn_silesian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.darn_silesian = { id := "darn_silesian", languageId := "sile1253", variety := "Silesian", parameterId := "darn" }

def Stojkovic2026.Forms.Lexemes.battle_slovak : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.battle_slovak = { id := "battle_slovak", languageId := "slov1269", variety := "Slovak", parameterId := "battle" }

def Stojkovic2026.Forms.Lexemes.travel_slovenian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.travel_slovenian = { id := "travel_slovenian", languageId := "slov1268", variety := "Slovenian", parameterId := "travel" }

def Stojkovic2026.Forms.Lexemes.squeeze_ukrainian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.squeeze_ukrainian = { id := "squeeze_ukrainian", languageId := "ukra1253", variety := "Ukrainian", parameterId := "squeeze" }

def Stojkovic2026.Forms.Lexemes.buy_upper_sorbian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.buy_upper_sorbian = { id := "buy_upper_sorbian", languageId := "uppe1395", variety := "Upper Sorbian", parameterId := "buy" }

def Stojkovic2026.Forms.Lexemes.battle_belarusian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.battle_belarusian = { id := "battle_belarusian", languageId := "bela1254", variety := "Belarusian", parameterId := "battle" }

def Stojkovic2026.Forms.Lexemes.prune_bunyev_ac : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.prune_bunyev_ac = { id := "prune_bunyev_ac", languageId := "sout1528", variety := "Bunyev(ac)", parameterId := "prune" }

def Stojkovic2026.Forms.Lexemes.whip_czech : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.whip_czech = { id := "whip_czech", languageId := "czec1258", variety := "Czech", parameterId := "whip" }

def Stojkovic2026.Forms.Lexemes.date_kashubian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.date_kashubian = { id := "date_kashubian", languageId := "kash1274", variety := "Kashubian", parameterId := "date" }

def Stojkovic2026.Forms.Lexemes.wander_lower_sorbian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.wander_lower_sorbian = { id := "wander_lower_sorbian", languageId := "lowe1385", variety := "Lower Sorbian", parameterId := "wander" }

def Stojkovic2026.Forms.Lexemes.reign_pannonian_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.reign_pannonian_rusyn = { id := "reign_pannonian_rusyn", languageId := "pann1240", variety := "Pannonian Rusyn", parameterId := "reign" }

def Stojkovic2026.Forms.Lexemes.grub_podlachian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.grub_podlachian = { id := "grub_podlachian", languageId := "east1426", variety := "Podlachian", parameterId := "grub" }

def Stojkovic2026.Forms.Lexemes.accommodate_polish : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.accommodate_polish = { id := "accommodate_polish", languageId := "poli1260", variety := "Polish", parameterId := "accommodate" }

def Stojkovic2026.Forms.Lexemes.whip_silesian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.whip_silesian = { id := "whip_silesian", languageId := "sile1253", variety := "Silesian", parameterId := "whip" }

def Stojkovic2026.Forms.Lexemes.translate_upper_sorbian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.translate_upper_sorbian = { id := "translate_upper_sorbian", languageId := "uppe1395", variety := "Upper Sorbian", parameterId := "translate" }

def Stojkovic2026.Forms.Lexemes.be_teacher_bos_cro_mon_ser : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.be_teacher_bos_cro_mon_ser = { id := "be_teacher_bos_cro_mon_ser", languageId := "sout1528", variety := "Bos/Cro/Mon/Ser", parameterId := "be_teacher" }

def Stojkovic2026.Forms.Lexemes.compare_carpathian_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.compare_carpathian_rusyn = { id := "compare_carpathian_rusyn", languageId := "rusy1239", variety := "Carpathian Rusyn", parameterId := "compare" }

def Stojkovic2026.Forms.Lexemes.swindle_russian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.swindle_russian = { id := "swindle_russian", languageId := "russ1263", variety := "Russian", parameterId := "swindle" }

def Stojkovic2026.Forms.Lexemes.rain_slovenian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.rain_slovenian = { id := "rain_slovenian", languageId := "slov1268", variety := "Slovenian", parameterId := "rain" }

def Stojkovic2026.Forms.Lexemes.jitter_bulgarian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.jitter_bulgarian = { id := "jitter_bulgarian", languageId := "bulg1262", variety := "Bulgarian", parameterId := "jitter" }

def Stojkovic2026.Forms.Lexemes.adore_lemko_rusyn : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.adore_lemko_rusyn = { id := "adore_lemko_rusyn", languageId := "rusy1239", variety := "Lemko Rusyn", parameterId := "adore" }

def Stojkovic2026.Forms.Lexemes.spend_night_macedonian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.spend_night_macedonian = { id := "spend_night_macedonian", languageId := "mace1250", variety := "Macedonian", parameterId := "spend_night" }

def Stojkovic2026.Forms.Lexemes.be_late_ukrainian : Data.Forms.Lexeme

Equations

• Stojkovic2026.Forms.Lexemes.be_late_ukrainian = { id := "be_late_ukrainian", languageId := "ukra1253", variety := "Ukrainian", parameterId := "be_late" }

def Stojkovic2026.Forms.belarusian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.belarusian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bos_cro_mon_ser_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bos_cro_mon_ser_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bulgarian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bulgarian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bunyev_ac_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bunyev_ac_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.carpathian_rusyn_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.carpathian_rusyn_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.czech_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.czech_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.kashubian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.kashubian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lemko_rusyn_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lemko_rusyn_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lower_sorbian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lower_sorbian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.macedonian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.macedonian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.pannonian_rusyn_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.pannonian_rusyn_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.podlachian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.podlachian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.polish_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.polish_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.russian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.russian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.silesian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.silesian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovak_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovak_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovenian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovenian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.ukrainian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.ukrainian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.upper_sorbian_plain_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.upper_sorbian_plain_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.belarusian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.belarusian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bunyev_ac_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bunyev_ac_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.czech_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.czech_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.kashubian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.kashubian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lower_sorbian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lower_sorbian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.pannonian_rusyn_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.pannonian_rusyn_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.podlachian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.podlachian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.polish_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.polish_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovak_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovak_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.silesian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.silesian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.upper_sorbian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.upper_sorbian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bos_cro_mon_ser_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bos_cro_mon_ser_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.carpathian_rusyn_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.carpathian_rusyn_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.russian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.russian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovenian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.slovenian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bulgarian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.bulgarian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lemko_rusyn_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.lemko_rusyn_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.macedonian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.macedonian_palatal_prs : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.ukrainian_palatal_lform : Data.Forms.Form Cell

Equations

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

def Stojkovic2026.Forms.ukrainian_palatal_prs : Data.Forms.Form Cell

Equations

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

structure Stojkovic2026.Forms.Analysis : Type

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

• form : Data.Forms.Form Cell

  The form analysed.

• root : Root

  The Root column, the root class the paper assigns.

• verbalizer : Option String

  The Verbalizer column.

@[instance_reducible]

instance Stojkovic2026.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• Stojkovic2026.Forms.instDecidableEqAnalysis = Stojkovic2026.Forms.instDecidableEqAnalysis.decEq

def Stojkovic2026.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 Stojkovic2026.Forms.instReprAnalysis : Repr Analysis

Equations

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

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

Equations

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

def Stojkovic2026.Forms.belarusian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.belarusian_plain_lform.analysis = { form := Stojkovic2026.Forms.belarusian_plain_lform, root := Stojkovic2026.Forms.Root.plain, verbalizer := some "orthographic" }

def Stojkovic2026.Forms.belarusian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.belarusian_plain_prs.analysis = { form := Stojkovic2026.Forms.belarusian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bos_cro_mon_ser_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bos_cro_mon_ser_plain_lform.analysis = { form := Stojkovic2026.Forms.bos_cro_mon_ser_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bos_cro_mon_ser_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bos_cro_mon_ser_plain_prs.analysis = { form := Stojkovic2026.Forms.bos_cro_mon_ser_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bulgarian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bulgarian_plain_lform.analysis = { form := Stojkovic2026.Forms.bulgarian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bulgarian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bulgarian_plain_prs.analysis = { form := Stojkovic2026.Forms.bulgarian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bunyev_ac_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bunyev_ac_plain_lform.analysis = { form := Stojkovic2026.Forms.bunyev_ac_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.bunyev_ac_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bunyev_ac_plain_prs.analysis = { form := Stojkovic2026.Forms.bunyev_ac_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.carpathian_rusyn_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.carpathian_rusyn_plain_lform.analysis = { form := Stojkovic2026.Forms.carpathian_rusyn_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.carpathian_rusyn_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.carpathian_rusyn_plain_prs.analysis = { form := Stojkovic2026.Forms.carpathian_rusyn_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.czech_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.czech_plain_lform.analysis = { form := Stojkovic2026.Forms.czech_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.czech_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.czech_plain_prs.analysis = { form := Stojkovic2026.Forms.czech_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.kashubian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.kashubian_plain_lform.analysis = { form := Stojkovic2026.Forms.kashubian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.kashubian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.kashubian_plain_prs.analysis = { form := Stojkovic2026.Forms.kashubian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.lemko_rusyn_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.lemko_rusyn_plain_lform.analysis = { form := Stojkovic2026.Forms.lemko_rusyn_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.lemko_rusyn_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.lemko_rusyn_plain_prs.analysis = { form := Stojkovic2026.Forms.lemko_rusyn_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.lower_sorbian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.lower_sorbian_plain_lform.analysis = { form := Stojkovic2026.Forms.lower_sorbian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.lower_sorbian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.lower_sorbian_plain_prs.analysis = { form := Stojkovic2026.Forms.lower_sorbian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.macedonian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.macedonian_plain_lform.analysis = { form := Stojkovic2026.Forms.macedonian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.macedonian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.macedonian_plain_prs.analysis = { form := Stojkovic2026.Forms.macedonian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.pannonian_rusyn_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.pannonian_rusyn_plain_lform.analysis = { form := Stojkovic2026.Forms.pannonian_rusyn_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.pannonian_rusyn_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.pannonian_rusyn_plain_prs.analysis = { form := Stojkovic2026.Forms.pannonian_rusyn_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.podlachian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.podlachian_plain_lform.analysis = { form := Stojkovic2026.Forms.podlachian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.podlachian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.podlachian_plain_prs.analysis = { form := Stojkovic2026.Forms.podlachian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.polish_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.polish_plain_lform.analysis = { form := Stojkovic2026.Forms.polish_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.polish_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.polish_plain_prs.analysis = { form := Stojkovic2026.Forms.polish_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.russian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.russian_plain_lform.analysis = { form := Stojkovic2026.Forms.russian_plain_lform, root := Stojkovic2026.Forms.Root.plain, verbalizer := some "orthographic" }

def Stojkovic2026.Forms.russian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.russian_plain_prs.analysis = { form := Stojkovic2026.Forms.russian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.silesian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.silesian_plain_lform.analysis = { form := Stojkovic2026.Forms.silesian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.silesian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.silesian_plain_prs.analysis = { form := Stojkovic2026.Forms.silesian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.slovak_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovak_plain_lform.analysis = { form := Stojkovic2026.Forms.slovak_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.slovak_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovak_plain_prs.analysis = { form := Stojkovic2026.Forms.slovak_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.slovenian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovenian_plain_lform.analysis = { form := Stojkovic2026.Forms.slovenian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.slovenian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovenian_plain_prs.analysis = { form := Stojkovic2026.Forms.slovenian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.ukrainian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.ukrainian_plain_lform.analysis = { form := Stojkovic2026.Forms.ukrainian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.ukrainian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.ukrainian_plain_prs.analysis = { form := Stojkovic2026.Forms.ukrainian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.upper_sorbian_plain_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.upper_sorbian_plain_lform.analysis = { form := Stojkovic2026.Forms.upper_sorbian_plain_lform, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.upper_sorbian_plain_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.upper_sorbian_plain_prs.analysis = { form := Stojkovic2026.Forms.upper_sorbian_plain_prs, root := Stojkovic2026.Forms.Root.plain }

def Stojkovic2026.Forms.belarusian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.belarusian_palatal_lform.analysis = { form := Stojkovic2026.Forms.belarusian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal, verbalizer := some "orthographic" }

def Stojkovic2026.Forms.belarusian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.belarusian_palatal_prs.analysis = { form := Stojkovic2026.Forms.belarusian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bunyev_ac_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bunyev_ac_palatal_lform.analysis = { form := Stojkovic2026.Forms.bunyev_ac_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bunyev_ac_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bunyev_ac_palatal_prs.analysis = { form := Stojkovic2026.Forms.bunyev_ac_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.czech_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.czech_palatal_lform.analysis = { form := Stojkovic2026.Forms.czech_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.czech_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.czech_palatal_prs.analysis = { form := Stojkovic2026.Forms.czech_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.kashubian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.kashubian_palatal_lform.analysis = { form := Stojkovic2026.Forms.kashubian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.kashubian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.kashubian_palatal_prs.analysis = { form := Stojkovic2026.Forms.kashubian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.lower_sorbian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.lower_sorbian_palatal_lform.analysis = { form := Stojkovic2026.Forms.lower_sorbian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.lower_sorbian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.lower_sorbian_palatal_prs.analysis = { form := Stojkovic2026.Forms.lower_sorbian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.pannonian_rusyn_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.pannonian_rusyn_palatal_lform.analysis = { form := Stojkovic2026.Forms.pannonian_rusyn_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.pannonian_rusyn_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.pannonian_rusyn_palatal_prs.analysis = { form := Stojkovic2026.Forms.pannonian_rusyn_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.podlachian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.podlachian_palatal_lform.analysis = { form := Stojkovic2026.Forms.podlachian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.podlachian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.podlachian_palatal_prs.analysis = { form := Stojkovic2026.Forms.podlachian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.polish_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.polish_palatal_lform.analysis = { form := Stojkovic2026.Forms.polish_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.polish_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.polish_palatal_prs.analysis = { form := Stojkovic2026.Forms.polish_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.slovak_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovak_palatal_lform.analysis = { form := Stojkovic2026.Forms.slovak_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.slovak_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovak_palatal_prs.analysis = { form := Stojkovic2026.Forms.slovak_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.silesian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.silesian_palatal_lform.analysis = { form := Stojkovic2026.Forms.silesian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.silesian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.silesian_palatal_prs.analysis = { form := Stojkovic2026.Forms.silesian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.upper_sorbian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.upper_sorbian_palatal_lform.analysis = { form := Stojkovic2026.Forms.upper_sorbian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.upper_sorbian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.upper_sorbian_palatal_prs.analysis = { form := Stojkovic2026.Forms.upper_sorbian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bos_cro_mon_ser_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bos_cro_mon_ser_palatal_lform.analysis = { form := Stojkovic2026.Forms.bos_cro_mon_ser_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bos_cro_mon_ser_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bos_cro_mon_ser_palatal_prs.analysis = { form := Stojkovic2026.Forms.bos_cro_mon_ser_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.carpathian_rusyn_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.carpathian_rusyn_palatal_lform.analysis = { form := Stojkovic2026.Forms.carpathian_rusyn_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.carpathian_rusyn_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.carpathian_rusyn_palatal_prs.analysis = { form := Stojkovic2026.Forms.carpathian_rusyn_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.russian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.russian_palatal_lform.analysis = { form := Stojkovic2026.Forms.russian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal, verbalizer := some "orthographic" }

def Stojkovic2026.Forms.russian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.russian_palatal_prs.analysis = { form := Stojkovic2026.Forms.russian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.slovenian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovenian_palatal_lform.analysis = { form := Stojkovic2026.Forms.slovenian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.slovenian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.slovenian_palatal_prs.analysis = { form := Stojkovic2026.Forms.slovenian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bulgarian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.bulgarian_palatal_lform.analysis = { form := Stojkovic2026.Forms.bulgarian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.bulgarian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.bulgarian_palatal_prs.analysis = { form := Stojkovic2026.Forms.bulgarian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.lemko_rusyn_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.lemko_rusyn_palatal_lform.analysis = { form := Stojkovic2026.Forms.lemko_rusyn_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.lemko_rusyn_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.lemko_rusyn_palatal_prs.analysis = { form := Stojkovic2026.Forms.lemko_rusyn_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.macedonian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.macedonian_palatal_lform.analysis = { form := Stojkovic2026.Forms.macedonian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.macedonian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.macedonian_palatal_prs.analysis = { form := Stojkovic2026.Forms.macedonian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.ukrainian_palatal_lform.analysis : Analysis

Equations

• Stojkovic2026.Forms.ukrainian_palatal_lform.analysis = { form := Stojkovic2026.Forms.ukrainian_palatal_lform, root := Stojkovic2026.Forms.Root.palatal }

def Stojkovic2026.Forms.ukrainian_palatal_prs.analysis : Analysis

Equations

• Stojkovic2026.Forms.ukrainian_palatal_prs.analysis = { form := Stojkovic2026.Forms.ukrainian_palatal_prs, root := Stojkovic2026.Forms.Root.palatal }

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

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

Equations

• Stojkovic2026.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• Stojkovic2026.Forms.relations = []

def Stojkovic2026.Forms.analyses : List Analysis

Every analysis of the data.

Equations

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