Stump2012: word forms

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

inductive Stump2012.Forms.System : Type

The values of System the source distinguishes.

• pres : System

  The present system, pres in the source.

• perf : System

  The perfect system, perf in the source.

@[instance_reducible]

instance Stump2012.Forms.instDecidableEqSystem : DecidableEq System

Equations

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

@[instance_reducible]

instance Stump2012.Forms.instReprSystem : Repr System

Equations

• Stump2012.Forms.instReprSystem = { reprPrec := Stump2012.Forms.instReprSystem.repr }

def Stump2012.Forms.instReprSystem.repr : System → ℕ → Std.Format

Equations

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

structure Stump2012.Forms.Cellextends UD.MorphFeatures : Type

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

• number : Flat Number
• gender : Flat Gender
• case_ : Flat Case
• definite : Flat Definite
• degree : Flat Degree
• pronType : Flat PronType
• reflex : Bool
• person : Flat Person
• verbForm : Flat VerbForm
• tense : Flat Tense
• aspect : Flat Aspect
• mood : Flat Mood
• voice : Flat Voice
• polarity : Flat Polarity
• system : Flat System

  The System feature.

def Stump2012.Forms.instDecidableEqCell.decEq (x✝ x✝¹ : Cell) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Stump2012.Forms.instDecidableEqCell : DecidableEq Cell

Equations

• Stump2012.Forms.instDecidableEqCell = Stump2012.Forms.instDecidableEqCell.decEq

def Stump2012.Forms.instReprCell.repr : Cell → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Stump2012.Forms.instReprCell : Repr Cell

Equations

• Stump2012.Forms.instReprCell = { reprPrec := Stump2012.Forms.instReprCell.repr }

def Stump2012.Forms.perf_system_s1 : Cell

The perf_system s1 cell, Number=Sing|Person=1|System=perf.

Equations

• Stump2012.Forms.perf_system_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.perf_system_s2 : Cell

The perf_system s2 cell, Number=Sing|Person=2|System=perf.

Equations

• Stump2012.Forms.perf_system_s2 = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.perf_system_s3 : Cell

The perf_system s3 cell, Number=Sing|Person=3|System=perf.

Equations

• Stump2012.Forms.perf_system_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.perf_system_p1 : Cell

The perf_system p1 cell, Number=Plur|Person=1|System=perf.

Equations

• Stump2012.Forms.perf_system_p1 = { number := ↑UD.Number.Plur, person := ↑UD.Person.first, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.perf_system_p2 : Cell

The perf_system p2 cell, Number=Plur|Person=2|System=perf.

Equations

• Stump2012.Forms.perf_system_p2 = { number := ↑UD.Number.Plur, person := ↑UD.Person.second, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.perf_system_p3 : Cell

The perf_system p3 cell, Number=Plur|Person=3|System=perf.

Equations

• Stump2012.Forms.perf_system_p3 = { number := ↑UD.Number.Plur, person := ↑UD.Person.third, system := ↑Stump2012.Forms.System.perf }

def Stump2012.Forms.acc_sg : Cell

The acc sg cell, Case=Acc|Number=Sing.

Equations

• Stump2012.Forms.acc_sg = { number := ↑UD.Number.Sing, case_ := ↑UD.Case.Acc }

def Stump2012.Forms.gen_sg : Cell

The gen sg cell, Case=Gen|Number=Sing.

Equations

• Stump2012.Forms.gen_sg = { number := ↑UD.Number.Sing, case_ := ↑UD.Case.Gen }

def Stump2012.Forms.dat_sg : Cell

The dat sg cell, Case=Dat|Number=Sing.

Equations

• Stump2012.Forms.dat_sg = { number := ↑UD.Number.Sing, case_ := ↑UD.Case.Dat }

def Stump2012.Forms.acc_pl : Cell

The acc pl cell, Case=Acc|Number=Plur.

Equations

• Stump2012.Forms.acc_pl = { number := ↑UD.Number.Plur, case_ := ↑UD.Case.Acc }

def Stump2012.Forms.gen_pl : Cell

The gen pl cell, Case=Gen|Number=Plur.

Equations

• Stump2012.Forms.gen_pl = { number := ↑UD.Number.Plur, case_ := ↑UD.Case.Gen }

def Stump2012.Forms.dat_pl : Cell

The dat pl cell, Case=Dat|Number=Plur.

Equations

• Stump2012.Forms.dat_pl = { number := ↑UD.Number.Plur, case_ := ↑UD.Case.Dat }

def Stump2012.Forms.act_s1 : Cell

The act s1 cell, Number=Sing|Person=1|Voice=Act.

Equations

• Stump2012.Forms.act_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, voice := ↑UD.Voice.Act }

def Stump2012.Forms.act_s2 : Cell

The act s2 cell, Number=Sing|Person=2|Voice=Act.

Equations

• Stump2012.Forms.act_s2 = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, voice := ↑UD.Voice.Act }

def Stump2012.Forms.act_s3 : Cell

The act s3 cell, Number=Sing|Person=3|Voice=Act.

Equations

• Stump2012.Forms.act_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, voice := ↑UD.Voice.Act }

def Stump2012.Forms.act_p1 : Cell

The act p1 cell, Number=Plur|Person=1|Voice=Act.

Equations

• Stump2012.Forms.act_p1 = { number := ↑UD.Number.Plur, person := ↑UD.Person.first, voice := ↑UD.Voice.Act }

def Stump2012.Forms.act_p2 : Cell

The act p2 cell, Number=Plur|Person=2|Voice=Act.

Equations

• Stump2012.Forms.act_p2 = { number := ↑UD.Number.Plur, person := ↑UD.Person.second, voice := ↑UD.Voice.Act }

def Stump2012.Forms.act_p3 : Cell

The act p3 cell, Number=Plur|Person=3|Voice=Act.

Equations

• Stump2012.Forms.act_p3 = { number := ↑UD.Number.Plur, person := ↑UD.Person.third, voice := ↑UD.Voice.Act }

def Stump2012.Forms.pass_s1 : Cell

The pass s1 cell, Number=Sing|Person=1|Voice=Pass.

Equations

• Stump2012.Forms.pass_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pass_s2 : Cell

The pass s2 cell, Number=Sing|Person=2|Voice=Pass.

Equations

• Stump2012.Forms.pass_s2 = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pass_s3 : Cell

The pass s3 cell, Number=Sing|Person=3|Voice=Pass.

Equations

• Stump2012.Forms.pass_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pass_p1 : Cell

The pass p1 cell, Number=Plur|Person=1|Voice=Pass.

Equations

• Stump2012.Forms.pass_p1 = { number := ↑UD.Number.Plur, person := ↑UD.Person.first, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pass_p2 : Cell

The pass p2 cell, Number=Plur|Person=2|Voice=Pass.

Equations

• Stump2012.Forms.pass_p2 = { number := ↑UD.Number.Plur, person := ↑UD.Person.second, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pass_p3 : Cell

The pass p3 cell, Number=Plur|Person=3|Voice=Pass.

Equations

• Stump2012.Forms.pass_p3 = { number := ↑UD.Number.Plur, person := ↑UD.Person.third, voice := ↑UD.Voice.Pass }

def Stump2012.Forms.pres_system_s1 : Cell

The pres_system s1 cell, Number=Sing|Person=1|System=pres.

Equations

• Stump2012.Forms.pres_system_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.pres_system_s2 : Cell

The pres_system s2 cell, Number=Sing|Person=2|System=pres.

Equations

• Stump2012.Forms.pres_system_s2 = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.pres_system_s3 : Cell

The pres_system s3 cell, Number=Sing|Person=3|System=pres.

Equations

• Stump2012.Forms.pres_system_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.pres_system_p1 : Cell

The pres_system p1 cell, Number=Plur|Person=1|System=pres.

Equations

• Stump2012.Forms.pres_system_p1 = { number := ↑UD.Number.Plur, person := ↑UD.Person.first, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.pres_system_p2 : Cell

The pres_system p2 cell, Number=Plur|Person=2|System=pres.

Equations

• Stump2012.Forms.pres_system_p2 = { number := ↑UD.Number.Plur, person := ↑UD.Person.second, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.pres_system_p3 : Cell

The pres_system p3 cell, Number=Plur|Person=3|System=pres.

Equations

• Stump2012.Forms.pres_system_p3 = { number := ↑UD.Number.Plur, person := ↑UD.Person.third, system := ↑Stump2012.Forms.System.pres }

def Stump2012.Forms.p1sg : Cell

The p1sg cell, Number=Sing|Person=1.

Equations

• Stump2012.Forms.p1sg = { number := ↑UD.Number.Sing, person := ↑UD.Person.first }

def Stump2012.Forms.p2sg : Cell

The p2sg cell, Number=Sing|Person=2.

Equations

• Stump2012.Forms.p2sg = { number := ↑UD.Number.Sing, person := ↑UD.Person.second }

def Stump2012.Forms.pres_s1 : Cell

The pres s1 cell, Number=Sing|Person=1|Tense=Pres.

Equations

• Stump2012.Forms.pres_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, tense := ↑UD.Tense.Pres }

def Stump2012.Forms.pres_s2 : Cell

The pres s2 cell, Number=Sing|Person=2|Tense=Pres.

Equations

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

def Stump2012.Forms.pres_s3 : Cell

The pres s3 cell, Number=Sing|Person=3|Tense=Pres.

Equations

• Stump2012.Forms.pres_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, tense := ↑UD.Tense.Pres }

def Stump2012.Forms.past_s1 : Cell

The past s1 cell, Number=Sing|Person=1|Tense=Past.

Equations

• Stump2012.Forms.past_s1 = { number := ↑UD.Number.Sing, person := ↑UD.Person.first, tense := ↑UD.Tense.Past }

def Stump2012.Forms.past_s2 : Cell

The past s2 cell, Number=Sing|Person=2|Tense=Past.

Equations

• Stump2012.Forms.past_s2 = { number := ↑UD.Number.Sing, person := ↑UD.Person.second, tense := ↑UD.Tense.Past }

def Stump2012.Forms.past_s3 : Cell

The past s3 cell, Number=Sing|Person=3|Tense=Past.

Equations

• Stump2012.Forms.past_s3 = { number := ↑UD.Number.Sing, person := ↑UD.Person.third, tense := ↑UD.Tense.Past }

def Stump2012.Forms.Lexemes.begin_coepisse : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.begin_coepisse = { id := "begin_coepisse", languageId := "lati1261", parameterId := "begin", label := "COEPISSE" }

def Stump2012.Forms.Lexemes.war_bellum : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.war_bellum = { id := "war_bellum", languageId := "lati1261", parameterId := "war", label := "BELLUM" }

def Stump2012.Forms.Lexemes.praise_laudare : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.praise_laudare = { id := "praise_laudare", languageId := "lati1261", parameterId := "praise", label := "LAUDĀRE" }

def Stump2012.Forms.Lexemes.urge_hortari : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.urge_hortari = { id := "urge_hortari", languageId := "lati1261", parameterId := "urge", label := "HORTĀRĪ" }

def Stump2012.Forms.Lexemes.carry_ferre : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.carry_ferre = { id := "carry_ferre", languageId := "lati1261", parameterId := "carry", label := "FERRE" }

def Stump2012.Forms.Lexemes.nek_nek : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.nek_nek = { id := "nek_nek", languageId := "hung1274", parameterId := "nek", label := "NEK" }

def Stump2012.Forms.Lexemes.benn_benn : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.benn_benn = { id := "benn_benn", languageId := "hung1274", parameterId := "benn", label := "BENN" }

def Stump2012.Forms.Lexemes.rajt_rajt : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.rajt_rajt = { id := "rajt_rajt", languageId := "hung1274", parameterId := "rajt", label := "RAJT" }

def Stump2012.Forms.Lexemes.need_urfa : Data.Forms.Lexeme

Equations

• Stump2012.Forms.Lexemes.need_urfa = { id := "need_urfa", languageId := "oldn1244", parameterId := "need", label := "ÞURFA" }

def Stump2012.Forms.begin_perf_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.begin_perf_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.begin_perf_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.begin_perf_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.begin_perf_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.begin_perf_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_acc_sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_gen_sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_dat_sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_acc_pl : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_gen_pl : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.war_dat_pl : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_act_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.praise_pass_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.urge_pass_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_pres_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_p1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_p2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.carry_perf_p3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.nek_p1sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.nek_p2sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.benn_p1sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.benn_p2sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.rajt_p1sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.rajt_p2sg : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_pres_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_pres_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_pres_s3 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_past_s1 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_past_s2 : Data.Forms.Form Cell

Equations

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

def Stump2012.Forms.need_past_s3 : Data.Forms.Form Cell

Equations

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

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

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

Equations

• Stump2012.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• Stump2012.Forms.relations = []