ArregiPietraszko2021: word forms

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

inductive ArregiPietraszko2021.Forms.Verb : Type

The values of Verb the source distinguishes.

• dummy : Verb

  Dummy do, dummy in the source.

• auxiliary : Verb

  An auxiliary, auxiliary in the source.

@[instance_reducible]

instance ArregiPietraszko2021.Forms.instDecidableEqVerb : DecidableEq Verb

Equations

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

def ArregiPietraszko2021.Forms.instReprVerb.repr : Verb → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance ArregiPietraszko2021.Forms.instReprVerb : Repr Verb

Equations

• ArregiPietraszko2021.Forms.instReprVerb = { reprPrec := ArregiPietraszko2021.Forms.instReprVerb.repr }

@[reducible, inline]

abbrev ArregiPietraszko2021.Forms.Cell : Type

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

Equations

• ArregiPietraszko2021.Forms.Cell = UD.MorphFeatures

def ArregiPietraszko2021.Forms.Lexemes.rel_cl1 : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.rel_cl1 = { id := "rel_cl1", languageId := "nort2795", parameterId := "rel_cl1" }

def ArregiPietraszko2021.Forms.Lexemes.rel_cl9 : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.rel_cl9 = { id := "rel_cl9", languageId := "nort2795", parameterId := "rel_cl9" }

def ArregiPietraszko2021.Forms.Lexemes.rel_cl7 : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.rel_cl7 = { id := "rel_cl7", languageId := "nort2795", parameterId := "rel_cl7" }

def ArregiPietraszko2021.Forms.Lexemes.rel_cl11 : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.rel_cl11 = { id := "rel_cl11", languageId := "nort2795", parameterId := "rel_cl11" }

def ArregiPietraszko2021.Forms.Lexemes.do_3sg_neg : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.do_3sg_neg = { id := "do_3sg_neg", languageId := "stan1293", parameterId := "do_3sg_neg" }

def ArregiPietraszko2021.Forms.Lexemes.have_pst_neg : Data.Forms.Lexeme

Equations

• ArregiPietraszko2021.Forms.Lexemes.have_pst_neg = { id := "have_pst_neg", languageId := "stan1293", parameterId := "have_pst_neg" }

def ArregiPietraszko2021.Forms.f_19_cl1 : Data.Forms.Form Cell

Equations

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

def ArregiPietraszko2021.Forms.f_19_cl9 : Data.Forms.Form Cell

Equations

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

def ArregiPietraszko2021.Forms.f_19_cl7 : Data.Forms.Form Cell

Equations

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

def ArregiPietraszko2021.Forms.f_19_cl11 : Data.Forms.Form Cell

Equations

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

def ArregiPietraszko2021.Forms.doesnt : Data.Forms.Form Cell

Equations

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

def ArregiPietraszko2021.Forms.hadnt : Data.Forms.Form Cell

Equations

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

structure ArregiPietraszko2021.Forms.Analysis : Type

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

• form : Data.Forms.Form Cell

  The form analysed.

• lnk : Option String

  The Lnk column.

• d : Option String

  The D column.

• t : Option String

  The T column.

• verb : Option Verb

  The Verb column.

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

Equations

• ArregiPietraszko2021.Forms.instDecidableEqAnalysis = ArregiPietraszko2021.Forms.instDecidableEqAnalysis.decEq

@[instance_reducible]

instance ArregiPietraszko2021.Forms.instReprAnalysis : Repr Analysis

Equations

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

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

Equations

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

def ArregiPietraszko2021.Forms.f_19_cl1.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.f_19_cl1.analysis = { form := ArregiPietraszko2021.Forms.f_19_cl1, lnk := some "a", d := some "u", t := some "u" }

def ArregiPietraszko2021.Forms.f_19_cl9.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.f_19_cl9.analysis = { form := ArregiPietraszko2021.Forms.f_19_cl9, lnk := some "a", d := some "i", t := some "i" }

def ArregiPietraszko2021.Forms.f_19_cl7.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.f_19_cl7.analysis = { form := ArregiPietraszko2021.Forms.f_19_cl7, lnk := some "a", d := some "i", t := some "si" }

def ArregiPietraszko2021.Forms.f_19_cl11.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.f_19_cl11.analysis = { form := ArregiPietraszko2021.Forms.f_19_cl11, lnk := some "a", d := some "u", t := some "lu" }

def ArregiPietraszko2021.Forms.doesnt.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.doesnt.analysis = { form := ArregiPietraszko2021.Forms.doesnt, verb := some ArregiPietraszko2021.Forms.Verb.dummy }

def ArregiPietraszko2021.Forms.hadnt.analysis : Analysis

Equations

• ArregiPietraszko2021.Forms.hadnt.analysis = { form := ArregiPietraszko2021.Forms.hadnt, verb := some ArregiPietraszko2021.Forms.Verb.auxiliary }

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

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

Equations

• ArregiPietraszko2021.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• ArregiPietraszko2021.Forms.relations = []

def ArregiPietraszko2021.Forms.analyses : List Analysis

Every analysis of the data.

Equations

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