HeinzLai2013: word forms

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

@[reducible, inline]

abbrev HeinzLai2013.Forms.Cell : Type

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

Equations

• HeinzLai2013.Forms.Cell = UD.MorphFeatures

def HeinzLai2013.Forms.Lexemes.rope_gen : Data.Forms.Lexeme

Equations

• HeinzLai2013.Forms.Lexemes.rope_gen = { id := "rope_gen", languageId := "nucl1301", parameterId := "rope_gen" }

def HeinzLai2013.Forms.Lexemes.hand_gen : Data.Forms.Lexeme

Equations

• HeinzLai2013.Forms.Lexemes.hand_gen = { id := "hand_gen", languageId := "nucl1301", parameterId := "hand_gen" }

def HeinzLai2013.Forms.Lexemes.end_gen : Data.Forms.Lexeme

Equations

• HeinzLai2013.Forms.Lexemes.end_gen = { id := "end_gen", languageId := "nucl1301", parameterId := "end_gen" }

def HeinzLai2013.Forms.Lexemes.stamp_gen : Data.Forms.Lexeme

Equations

• HeinzLai2013.Forms.Lexemes.stamp_gen = { id := "stamp_gen", languageId := "nucl1301", parameterId := "stamp_gen" }

def HeinzLai2013.Forms.ipin : Data.Forms.Form Cell

Equations

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

def HeinzLai2013.Forms.elin : Data.Forms.Form Cell

Equations

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

def HeinzLai2013.Forms.sonun : Data.Forms.Form Cell

Equations

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

def HeinzLai2013.Forms.pulun : Data.Forms.Form Cell

Equations

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

structure HeinzLai2013.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 HeinzLai2013.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 HeinzLai2013.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• HeinzLai2013.Forms.instDecidableEqAnalysis = HeinzLai2013.Forms.instDecidableEqAnalysis.decEq

@[instance_reducible]

instance HeinzLai2013.Forms.instReprAnalysis : Repr Analysis

Equations

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

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

Equations

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

def HeinzLai2013.Forms.ipin.analysis : Analysis

Equations

• HeinzLai2013.Forms.ipin.analysis = { form := HeinzLai2013.Forms.ipin, underlying := "/ip-un/" }

def HeinzLai2013.Forms.elin.analysis : Analysis

Equations

• HeinzLai2013.Forms.elin.analysis = { form := HeinzLai2013.Forms.elin, underlying := "/el-un/" }

def HeinzLai2013.Forms.sonun.analysis : Analysis

Equations

• HeinzLai2013.Forms.sonun.analysis = { form := HeinzLai2013.Forms.sonun, underlying := "/son-un/" }

def HeinzLai2013.Forms.pulun.analysis : Analysis

Equations

• HeinzLai2013.Forms.pulun.analysis = { form := HeinzLai2013.Forms.pulun, underlying := "/pul-un/" }

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

Every lexeme of the data.

Equations

• HeinzLai2013.Forms.lexemes = [HeinzLai2013.Forms.Lexemes.rope_gen, HeinzLai2013.Forms.Lexemes.hand_gen, HeinzLai2013.Forms.Lexemes.end_gen, HeinzLai2013.Forms.Lexemes.stamp_gen]

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

Every form the sources accept.

Equations

• HeinzLai2013.Forms.all = [HeinzLai2013.Forms.ipin, HeinzLai2013.Forms.elin, HeinzLai2013.Forms.sonun, HeinzLai2013.Forms.pulun]

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

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

Equations

• HeinzLai2013.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• HeinzLai2013.Forms.relations = []

def HeinzLai2013.Forms.analyses : List Analysis

Every analysis of the data.

Equations

• HeinzLai2013.Forms.analyses = [HeinzLai2013.Forms.ipin.analysis, HeinzLai2013.Forms.elin.analysis, HeinzLai2013.Forms.sonun.analysis, HeinzLai2013.Forms.pulun.analysis]