SmithMoskalEtAl2019: word forms #
Auto-generated from Linglib/Data/Forms/SmithMoskalEtAl2019.json by scripts/gen_forms.py. Do not
edit by hand; edit the JSON and re-run the generator. Declarations live in namespace SmithMoskalEtAl2019.Forms.
@[instance_reducible]
Equations
- SmithMoskalEtAl2019.Forms.instDecidableEqBase x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[instance_reducible]
Equations
@[reducible, inline]
A cell of the source's tables, by its Universal Dependencies features.
Equations
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3sg_abs = { id := "x_3sg_abs", languageId := "ward1246", parameterId := "3sg_abs" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3sg_erg = { id := "x_3sg_erg", languageId := "ward1246", parameterId := "3sg_erg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3sg_dat = { id := "x_3sg_dat", languageId := "ward1246", parameterId := "3sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_abs = { id := "x_2sg_abs", languageId := "khin1240", parameterId := "2sg_abs" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_erg = { id := "x_2sg_erg", languageId := "khin1240", parameterId := "2sg_erg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_dat = { id := "x_2sg_dat", languageId := "khin1240", parameterId := "2sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_abs_arch1244 = { id := "x_2sg_abs_arch1244", languageId := "arch1244", parameterId := "2sg_abs" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_erg_arch1244 = { id := "x_2sg_erg_arch1244", languageId := "arch1244", parameterId := "2sg_erg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2sg_dat_arch1244 = { id := "x_2sg_dat_arch1244", languageId := "arch1244", parameterId := "2sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_nom = { id := "x_1sg_nom", languageId := "icel1247", parameterId := "1sg_nom" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_acc = { id := "x_1sg_acc", languageId := "icel1247", parameterId := "1sg_acc" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_dat = { id := "x_1sg_dat", languageId := "icel1247", parameterId := "1sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_nom_russ1263 = { id := "x_1sg_nom_russ1263", languageId := "russ1263", parameterId := "1sg_nom" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_acc_russ1263 = { id := "x_1sg_acc_russ1263", languageId := "russ1263", parameterId := "1sg_acc" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_dat_russ1263 = { id := "x_1sg_dat_russ1263", languageId := "russ1263", parameterId := "1sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_abs = { id := "x_1sg_abs", languageId := "lezg1247", parameterId := "1sg_abs" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_erg = { id := "x_1sg_erg", languageId := "lezg1247", parameterId := "1sg_erg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1sg_dat_lezg1247 = { id := "x_1sg_dat_lezg1247", languageId := "lezg1247", parameterId := "1sg_dat" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1_sg = { id := "x_1_sg", languageId := "awtu1239", parameterId := "1_sg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1_pl = { id := "x_1_pl", languageId := "awtu1239", parameterId := "1_pl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1_dl = { id := "x_1_dl", languageId := "awtu1239", parameterId := "1_dl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2_sg = { id := "x_2_sg", languageId := "yagu1244", parameterId := "2_sg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2_pl = { id := "x_2_pl", languageId := "yagu1244", parameterId := "2_pl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_2_dl = { id := "x_2_dl", languageId := "yagu1244", parameterId := "2_dl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1incl_sg = { id := "x_1incl_sg", languageId := "wamb1258", parameterId := "1incl_sg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1incl_pl = { id := "x_1incl_pl", languageId := "wamb1258", parameterId := "1incl_pl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_1incl_dl = { id := "x_1incl_dl", languageId := "wamb1258", parameterId := "1incl_dl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3m_sg = { id := "x_3m_sg", languageId := "dehu1237", parameterId := "3m_sg" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3m_pl = { id := "x_3m_pl", languageId := "dehu1237", parameterId := "3m_pl" }
Instances For
Equations
- SmithMoskalEtAl2019.Forms.Lexemes.x_3m_dl = { id := "x_3m_dl", languageId := "dehu1237", parameterId := "3m_dl" }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
The source's analysis of a form, its parse rather than data.
- form : Data.Forms.Form Cell
The form analysed.
- base : Base
The
Basecolumn.
Instances For
def
SmithMoskalEtAl2019.Forms.instDecidableEqAnalysis.decEq
(x✝ x✝¹ : Analysis)
:
Decidable (x✝ = x✝¹)
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[instance_reducible]
@[instance_reducible]
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Every lexeme of the data.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Every form the sources accept.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Every form a source marks, as marginal, questionable, unacceptable or ungrammatical.
Equations
Instances For
Every relation the sources assert between forms.
Equations
Instances For
Every analysis of the data.
Equations
- One or more equations did not get rendered due to their size.