McCarthy1981: word forms

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

inductive McCarthy1981.Forms.Binyan : Type

The values of Binyan the source distinguishes.

• i : Binyan

  Binyan I, I in the source.

• ii : Binyan

  Binyan II, II in the source.

• iii : Binyan

  Binyan III, III in the source.

• iv : Binyan

  Binyan IV, IV in the source.

• v : Binyan

  Binyan V, V in the source.

• vi : Binyan

  Binyan VI, VI in the source.

• vii : Binyan

  Binyan VII, VII in the source.

• viii : Binyan

  Binyan VIII, VIII in the source.

• ix : Binyan

  Binyan IX, IX in the source.

• x : Binyan

  Binyan X, X in the source.

• xi : Binyan

  Binyan XI, XI in the source.

• xii : Binyan

  Binyan XII, XII in the source.

• xiii : Binyan

  Binyan XIII, XIII in the source.

• xiv : Binyan

  Binyan XIV, XIV in the source.

• xv : Binyan

  Binyan XV, XV in the source.

• qi : Binyan

  Binyan QI, QI in the source.

• qii : Binyan

  Binyan QII, QII in the source.

• qiii : Binyan

  Binyan QIII, QIII in the source.

• qiv : Binyan

  Binyan QIV, QIV in the source.

@[instance_reducible]

instance McCarthy1981.Forms.instDecidableEqBinyan : DecidableEq Binyan

Equations

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

def McCarthy1981.Forms.instReprBinyan.repr : Binyan → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance McCarthy1981.Forms.instReprBinyan : Repr Binyan

Equations

• McCarthy1981.Forms.instReprBinyan = { reprPrec := McCarthy1981.Forms.instReprBinyan.repr }

structure McCarthy1981.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
• binyan : Flat Binyan

  The Binyan feature.

@[instance_reducible]

instance McCarthy1981.Forms.instDecidableEqCell : DecidableEq Cell

Equations

• McCarthy1981.Forms.instDecidableEqCell = McCarthy1981.Forms.instDecidableEqCell.decEq

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

Equations

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

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

Equations

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

@[instance_reducible]

instance McCarthy1981.Forms.instReprCell : Repr Cell

Equations

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

def McCarthy1981.Forms.I_perf_act : Cell

The binyan I perfective active cell, Aspect=Perf|Voice=Act|Binyan=I.

Equations

• McCarthy1981.Forms.I_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.I_perf_pas : Cell

The binyan I perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=I.

Equations

• McCarthy1981.Forms.I_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.I_impe_act : Cell

The binyan I imperfective active cell, Aspect=Imp|Voice=Act|Binyan=I.

Equations

• McCarthy1981.Forms.I_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.I_impe_pas : Cell

The binyan I imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=I.

Equations

• McCarthy1981.Forms.I_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.I_part_act : Cell

The binyan I participle active cell, VerbForm=Part|Voice=Act|Binyan=I.

Equations

• McCarthy1981.Forms.I_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.I_part_pas : Cell

The binyan I participle passive cell, VerbForm=Part|Voice=Pass|Binyan=I.

Equations

• McCarthy1981.Forms.I_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.i }

def McCarthy1981.Forms.II_perf_act : Cell

The binyan II perfective active cell, Aspect=Perf|Voice=Act|Binyan=II.

Equations

• McCarthy1981.Forms.II_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.II_perf_pas : Cell

The binyan II perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=II.

Equations

• McCarthy1981.Forms.II_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.II_impe_act : Cell

The binyan II imperfective active cell, Aspect=Imp|Voice=Act|Binyan=II.

Equations

• McCarthy1981.Forms.II_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.II_impe_pas : Cell

The binyan II imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=II.

Equations

• McCarthy1981.Forms.II_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.II_part_act : Cell

The binyan II participle active cell, VerbForm=Part|Voice=Act|Binyan=II.

Equations

• McCarthy1981.Forms.II_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.II_part_pas : Cell

The binyan II participle passive cell, VerbForm=Part|Voice=Pass|Binyan=II.

Equations

• McCarthy1981.Forms.II_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.ii }

def McCarthy1981.Forms.III_perf_act : Cell

The binyan III perfective active cell, Aspect=Perf|Voice=Act|Binyan=III.

Equations

• McCarthy1981.Forms.III_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.III_perf_pas : Cell

The binyan III perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=III.

Equations

• McCarthy1981.Forms.III_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.III_impe_act : Cell

The binyan III imperfective active cell, Aspect=Imp|Voice=Act|Binyan=III.

Equations

• McCarthy1981.Forms.III_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.III_impe_pas : Cell

The binyan III imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=III.

Equations

• McCarthy1981.Forms.III_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.III_part_act : Cell

The binyan III participle active cell, VerbForm=Part|Voice=Act|Binyan=III.

Equations

• McCarthy1981.Forms.III_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.III_part_pas : Cell

The binyan III participle passive cell, VerbForm=Part|Voice=Pass|Binyan=III.

Equations

• McCarthy1981.Forms.III_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iii }

def McCarthy1981.Forms.IV_perf_act : Cell

The binyan IV perfective active cell, Aspect=Perf|Voice=Act|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.IV_perf_pas : Cell

The binyan IV perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.IV_impe_act : Cell

The binyan IV imperfective active cell, Aspect=Imp|Voice=Act|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.IV_impe_pas : Cell

The binyan IV imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.IV_part_act : Cell

The binyan IV participle active cell, VerbForm=Part|Voice=Act|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.IV_part_pas : Cell

The binyan IV participle passive cell, VerbForm=Part|Voice=Pass|Binyan=IV.

Equations

• McCarthy1981.Forms.IV_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.iv }

def McCarthy1981.Forms.V_perf_act : Cell

The binyan V perfective active cell, Aspect=Perf|Voice=Act|Binyan=V.

Equations

• McCarthy1981.Forms.V_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.V_perf_pas : Cell

The binyan V perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=V.

Equations

• McCarthy1981.Forms.V_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.V_impe_act : Cell

The binyan V imperfective active cell, Aspect=Imp|Voice=Act|Binyan=V.

Equations

• McCarthy1981.Forms.V_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.V_impe_pas : Cell

The binyan V imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=V.

Equations

• McCarthy1981.Forms.V_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.V_part_act : Cell

The binyan V participle active cell, VerbForm=Part|Voice=Act|Binyan=V.

Equations

• McCarthy1981.Forms.V_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.V_part_pas : Cell

The binyan V participle passive cell, VerbForm=Part|Voice=Pass|Binyan=V.

Equations

• McCarthy1981.Forms.V_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.v }

def McCarthy1981.Forms.VI_perf_act : Cell

The binyan VI perfective active cell, Aspect=Perf|Voice=Act|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VI_perf_pas : Cell

The binyan VI perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VI_impe_act : Cell

The binyan VI imperfective active cell, Aspect=Imp|Voice=Act|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VI_impe_pas : Cell

The binyan VI imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VI_part_act : Cell

The binyan VI participle active cell, VerbForm=Part|Voice=Act|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VI_part_pas : Cell

The binyan VI participle passive cell, VerbForm=Part|Voice=Pass|Binyan=VI.

Equations

• McCarthy1981.Forms.VI_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vi }

def McCarthy1981.Forms.VII_perf_act : Cell

The binyan VII perfective active cell, Aspect=Perf|Voice=Act|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VII_perf_pas : Cell

The binyan VII perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VII_impe_act : Cell

The binyan VII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VII_impe_pas : Cell

The binyan VII imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VII_part_act : Cell

The binyan VII participle active cell, VerbForm=Part|Voice=Act|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VII_part_pas : Cell

The binyan VII participle passive cell, VerbForm=Part|Voice=Pass|Binyan=VII.

Equations

• McCarthy1981.Forms.VII_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.vii }

def McCarthy1981.Forms.VIII_perf_act : Cell

The binyan VIII perfective active cell, Aspect=Perf|Voice=Act|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.VIII_perf_pas : Cell

The binyan VIII perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.VIII_impe_act : Cell

The binyan VIII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.VIII_impe_pas : Cell

The binyan VIII imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.VIII_part_act : Cell

The binyan VIII participle active cell, VerbForm=Part|Voice=Act|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.VIII_part_pas : Cell

The binyan VIII participle passive cell, VerbForm=Part|Voice=Pass|Binyan=VIII.

Equations

• McCarthy1981.Forms.VIII_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.viii }

def McCarthy1981.Forms.IX_perf_act : Cell

The binyan IX perfective active cell, Aspect=Perf|Voice=Act|Binyan=IX.

Equations

• McCarthy1981.Forms.IX_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ix }

def McCarthy1981.Forms.IX_impe_act : Cell

The binyan IX imperfective active cell, Aspect=Imp|Voice=Act|Binyan=IX.

Equations

• McCarthy1981.Forms.IX_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ix }

def McCarthy1981.Forms.IX_part_act : Cell

The binyan IX participle active cell, VerbForm=Part|Voice=Act|Binyan=IX.

Equations

• McCarthy1981.Forms.IX_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.ix }

def McCarthy1981.Forms.X_perf_act : Cell

The binyan X perfective active cell, Aspect=Perf|Voice=Act|Binyan=X.

Equations

• McCarthy1981.Forms.X_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.X_perf_pas : Cell

The binyan X perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=X.

Equations

• McCarthy1981.Forms.X_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.X_impe_act : Cell

The binyan X imperfective active cell, Aspect=Imp|Voice=Act|Binyan=X.

Equations

• McCarthy1981.Forms.X_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.X_impe_pas : Cell

The binyan X imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=X.

Equations

• McCarthy1981.Forms.X_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.X_part_act : Cell

The binyan X participle active cell, VerbForm=Part|Voice=Act|Binyan=X.

Equations

• McCarthy1981.Forms.X_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.X_part_pas : Cell

The binyan X participle passive cell, VerbForm=Part|Voice=Pass|Binyan=X.

Equations

• McCarthy1981.Forms.X_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.x }

def McCarthy1981.Forms.XI_perf_act : Cell

The binyan XI perfective active cell, Aspect=Perf|Voice=Act|Binyan=XI.

Equations

• McCarthy1981.Forms.XI_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xi }

def McCarthy1981.Forms.XI_impe_act : Cell

The binyan XI imperfective active cell, Aspect=Imp|Voice=Act|Binyan=XI.

Equations

• McCarthy1981.Forms.XI_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xi }

def McCarthy1981.Forms.XI_part_act : Cell

The binyan XI participle active cell, VerbForm=Part|Voice=Act|Binyan=XI.

Equations

• McCarthy1981.Forms.XI_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xi }

def McCarthy1981.Forms.XII_perf_act : Cell

The binyan XII perfective active cell, Aspect=Perf|Voice=Act|Binyan=XII.

Equations

• McCarthy1981.Forms.XII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xii }

def McCarthy1981.Forms.XII_impe_act : Cell

The binyan XII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=XII.

Equations

• McCarthy1981.Forms.XII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xii }

def McCarthy1981.Forms.XII_part_act : Cell

The binyan XII participle active cell, VerbForm=Part|Voice=Act|Binyan=XII.

Equations

• McCarthy1981.Forms.XII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xii }

def McCarthy1981.Forms.XIII_perf_act : Cell

The binyan XIII perfective active cell, Aspect=Perf|Voice=Act|Binyan=XIII.

Equations

• McCarthy1981.Forms.XIII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiii }

def McCarthy1981.Forms.XIII_impe_act : Cell

The binyan XIII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=XIII.

Equations

• McCarthy1981.Forms.XIII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiii }

def McCarthy1981.Forms.XIII_part_act : Cell

The binyan XIII participle active cell, VerbForm=Part|Voice=Act|Binyan=XIII.

Equations

• McCarthy1981.Forms.XIII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiii }

def McCarthy1981.Forms.XIV_perf_act : Cell

The binyan XIV perfective active cell, Aspect=Perf|Voice=Act|Binyan=XIV.

Equations

• McCarthy1981.Forms.XIV_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiv }

def McCarthy1981.Forms.XIV_impe_act : Cell

The binyan XIV imperfective active cell, Aspect=Imp|Voice=Act|Binyan=XIV.

Equations

• McCarthy1981.Forms.XIV_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiv }

def McCarthy1981.Forms.XIV_part_act : Cell

The binyan XIV participle active cell, VerbForm=Part|Voice=Act|Binyan=XIV.

Equations

• McCarthy1981.Forms.XIV_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xiv }

def McCarthy1981.Forms.XV_perf_act : Cell

The binyan XV perfective active cell, Aspect=Perf|Voice=Act|Binyan=XV.

Equations

• McCarthy1981.Forms.XV_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xv }

def McCarthy1981.Forms.XV_impe_act : Cell

The binyan XV imperfective active cell, Aspect=Imp|Voice=Act|Binyan=XV.

Equations

• McCarthy1981.Forms.XV_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xv }

def McCarthy1981.Forms.XV_part_act : Cell

The binyan XV participle active cell, VerbForm=Part|Voice=Act|Binyan=XV.

Equations

• McCarthy1981.Forms.XV_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.xv }

def McCarthy1981.Forms.QI_perf_act : Cell

The binyan QI perfective active cell, Aspect=Perf|Voice=Act|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QI_perf_pas : Cell

The binyan QI perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QI_impe_act : Cell

The binyan QI imperfective active cell, Aspect=Imp|Voice=Act|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QI_impe_pas : Cell

The binyan QI imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QI_part_act : Cell

The binyan QI participle active cell, VerbForm=Part|Voice=Act|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QI_part_pas : Cell

The binyan QI participle passive cell, VerbForm=Part|Voice=Pass|Binyan=QI.

Equations

• McCarthy1981.Forms.QI_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qi }

def McCarthy1981.Forms.QII_perf_act : Cell

The binyan QII perfective active cell, Aspect=Perf|Voice=Act|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QII_perf_pas : Cell

The binyan QII perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QII_impe_act : Cell

The binyan QII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QII_impe_pas : Cell

The binyan QII imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QII_part_act : Cell

The binyan QII participle active cell, VerbForm=Part|Voice=Act|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QII_part_pas : Cell

The binyan QII participle passive cell, VerbForm=Part|Voice=Pass|Binyan=QII.

Equations

• McCarthy1981.Forms.QII_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qii }

def McCarthy1981.Forms.QIII_perf_act : Cell

The binyan QIII perfective active cell, Aspect=Perf|Voice=Act|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIII_perf_pas : Cell

The binyan QIII perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIII_impe_act : Cell

The binyan QIII imperfective active cell, Aspect=Imp|Voice=Act|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIII_impe_pas : Cell

The binyan QIII imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIII_part_act : Cell

The binyan QIII participle active cell, VerbForm=Part|Voice=Act|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIII_part_pas : Cell

The binyan QIII participle passive cell, VerbForm=Part|Voice=Pass|Binyan=QIII.

Equations

• McCarthy1981.Forms.QIII_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiii }

def McCarthy1981.Forms.QIV_perf_act : Cell

The binyan QIV perfective active cell, Aspect=Perf|Voice=Act|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_perf_act = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.QIV_perf_pas : Cell

The binyan QIV perfective passive cell, Aspect=Perf|Voice=Pass|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_perf_pas = { aspect := ↑UD.Aspect.Perf, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.QIV_impe_act : Cell

The binyan QIV imperfective active cell, Aspect=Imp|Voice=Act|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_impe_act = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.QIV_impe_pas : Cell

The binyan QIV imperfective passive cell, Aspect=Imp|Voice=Pass|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_impe_pas = { aspect := ↑UD.Aspect.Imp, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.QIV_part_act : Cell

The binyan QIV participle active cell, VerbForm=Part|Voice=Act|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_part_act = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Act, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.QIV_part_pas : Cell

The binyan QIV participle passive cell, VerbForm=Part|Voice=Pass|Binyan=QIV.

Equations

• McCarthy1981.Forms.QIV_part_pas = { verbForm := ↑UD.VerbForm.Part, voice := ↑UD.Voice.Pass, binyan := ↑McCarthy1981.Forms.Binyan.qiv }

def McCarthy1981.Forms.Lexemes.write : Data.Forms.Lexeme

Equations

• McCarthy1981.Forms.Lexemes.write = { id := "write", languageId := "clas1259", parameterId := "write" }

def McCarthy1981.Forms.Lexemes.roll : Data.Forms.Lexeme

Equations

• McCarthy1981.Forms.Lexemes.roll = { id := "roll", languageId := "clas1259", parameterId := "roll" }

def McCarthy1981.Forms.Lexemes.poison : Data.Forms.Lexeme

Equations

• McCarthy1981.Forms.Lexemes.poison = { id := "poison", languageId := "clas1259", parameterId := "poison" }

def McCarthy1981.Forms.Lexemes.magnetize : Data.Forms.Lexeme

Equations

• McCarthy1981.Forms.Lexemes.magnetize = { id := "magnetize", languageId := "clas1259", parameterId := "magnetize" }

def McCarthy1981.Forms.ktb_I_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_I_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_I_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_I_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_I_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_I_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_II_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_III_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IV_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_V_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VI_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VII_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_VIII_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IX_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IX_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_IX_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_X_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XI_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XI_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XI_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIV_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIV_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XIV_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XV_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XV_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.ktb_XV_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QI_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QII_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIII_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_perf_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_impe_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_impe_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_part_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.dhrj_QIV_part_pas : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.poison_I_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.poison_II_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.poison_V_perf_act : Data.Forms.Form Cell

Equations

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

def McCarthy1981.Forms.magnetize_QI_perf_act : Data.Forms.Form Cell

Equations

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

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

Every lexeme of the data.

Equations

• McCarthy1981.Forms.lexemes = [McCarthy1981.Forms.Lexemes.write, McCarthy1981.Forms.Lexemes.roll, McCarthy1981.Forms.Lexemes.poison, McCarthy1981.Forms.Lexemes.magnetize]

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

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

Equations

• McCarthy1981.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

• McCarthy1981.Forms.relations = []