Arad2005: word forms

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

@[reducible, inline]

abbrev Arad2005.Forms.Cell : Type

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

Equations

• Arad2005.Forms.Cell = UD.MorphFeatures

def Arad2005.Forms.Lexemes.learn : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.learn = { id := "learn", languageId := "hebr1245", parameterId := "learn", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.learn_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.learn_passive = { id := "learn_passive", languageId := "hebr1245", parameterId := "learn_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.tell : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.tell = { id := "tell", languageId := "hebr1245", parameterId := "tell", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.tell_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.tell_passive = { id := "tell_passive", languageId := "hebr1245", parameterId := "tell_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.record : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.record = { id := "record", languageId := "hebr1245", parameterId := "record", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.record_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.record_passive = { id := "record_passive", languageId := "hebr1245", parameterId := "record_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.pray : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.pray = { id := "pray", languageId := "hebr1245", parameterId := "pray", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.shatter : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.shatter = { id := "shatter", languageId := "hebr1245", parameterId := "shatter", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.shatter_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.shatter_passive = { id := "shatter_passive", languageId := "hebr1245", parameterId := "shatter_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.divide : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.divide = { id := "divide", languageId := "hebr1245", parameterId := "divide", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.divide_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.divide_passive = { id := "divide_passive", languageId := "hebr1245", parameterId := "divide_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.hide : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.hide = { id := "hide", languageId := "hebr1245", parameterId := "hide", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.hide_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.hide_passive = { id := "hide_passive", languageId := "hebr1245", parameterId := "hide_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.deposit : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.deposit = { id := "deposit", languageId := "hebr1245", parameterId := "deposit", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.deposit_passive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.deposit_passive = { id := "deposit_passive", languageId := "hebr1245", parameterId := "deposit_passive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.guard : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.guard = { id := "guard", languageId := "hebr1245", parameterId := "guard", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.translate : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.translate = { id := "translate", languageId := "hebr1245", parameterId := "translate", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.receive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.receive = { id := "receive", languageId := "hebr1245", parameterId := "receive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.become_soft : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.become_soft = { id := "become_soft", languageId := "hebr1245", parameterId := "become_soft", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.oil_grease : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.oil_grease = { id := "oil_grease", languageId := "hebr1245", parameterId := "oil_grease", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.cream : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.cream = { id := "cream", languageId := "hebr1245", parameterId := "cream", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.fat : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.fat = { id := "fat", languageId := "hebr1245", parameterId := "fat", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.fat_adj : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.fat_adj = { id := "fat_adj", languageId := "hebr1245", parameterId := "fat_adj", pos := ↑UD.UPOS.ADJ }

def Arad2005.Forms.Lexemes.grow_fat_fatten : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.grow_fat_fatten = { id := "grow_fat_fatten", languageId := "hebr1245", parameterId := "grow_fat_fatten", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.grease : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.grease = { id := "grease", languageId := "hebr1245", parameterId := "grease", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_think : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_think = { id := "to_think", languageId := "hebr1245", parameterId := "to_think", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_calculate : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_calculate = { id := "to_calculate", languageId := "hebr1245", parameterId := "to_calculate", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_consider : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_consider = { id := "to_consider", languageId := "hebr1245", parameterId := "to_consider", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_be_considerate : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_be_considerate = { id := "to_be_considerate", languageId := "hebr1245", parameterId := "to_be_considerate", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.computer : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.computer = { id := "computer", languageId := "hebr1245", parameterId := "computer", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.a_thought : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_thought = { id := "a_thought", languageId := "hebr1245", parameterId := "a_thought", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.importance : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.importance = { id := "importance", languageId := "hebr1245", parameterId := "importance", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.arithmetic_bill : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.arithmetic_bill = { id := "arithmetic_bill", languageId := "hebr1245", parameterId := "arithmetic_bill", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.calculus : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.calculus = { id := "calculus", languageId := "hebr1245", parameterId := "calculus", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_absorb_receive : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_absorb_receive = { id := "to_absorb_receive", languageId := "hebr1245", parameterId := "to_absorb_receive", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.a_shelter : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_shelter = { id := "a_shelter", languageId := "hebr1245", parameterId := "a_shelter", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.a_receiver : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_receiver = { id := "a_receiver", languageId := "hebr1245", parameterId := "a_receiver", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.a_record : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_record = { id := "a_record", languageId := "hebr1245", parameterId := "a_record", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.a_cassette : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_cassette = { id := "a_cassette", languageId := "hebr1245", parameterId := "a_cassette", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.input : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.input = { id := "input", languageId := "hebr1245", parameterId := "input", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.close : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.close = { id := "close", languageId := "hebr1245", parameterId := "close", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.extradite : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.extradite = { id := "extradite", languageId := "hebr1245", parameterId := "extradite", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.cocoon_oneself : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.cocoon_oneself = { id := "cocoon_oneself", languageId := "hebr1245", parameterId := "cocoon_oneself", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.closure : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.closure = { id := "closure", languageId := "hebr1245", parameterId := "closure", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.parentheses : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.parentheses = { id := "parentheses", languageId := "hebr1245", parameterId := "parentheses", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.frame : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.frame = { id := "frame", languageId := "hebr1245", parameterId := "frame", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.open_causative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.open_causative = { id := "open_causative", languageId := "hebr1245", parameterId := "open_causative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.open_inchoative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.open_inchoative = { id := "open_inchoative", languageId := "hebr1245", parameterId := "open_inchoative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.freeze_inchoative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.freeze_inchoative = { id := "freeze_inchoative", languageId := "hebr1245", parameterId := "freeze_inchoative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.freeze_causative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.freeze_causative = { id := "freeze_causative", languageId := "hebr1245", parameterId := "freeze_causative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.melt_inchoative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.melt_inchoative = { id := "melt_inchoative", languageId := "hebr1245", parameterId := "melt_inchoative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.melt_causative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.melt_causative = { id := "melt_causative", languageId := "hebr1245", parameterId := "melt_causative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.heat_inchoative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.heat_inchoative = { id := "heat_inchoative", languageId := "hebr1245", parameterId := "heat_inchoative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.heat_causative : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.heat_causative = { id := "heat_causative", languageId := "hebr1245", parameterId := "heat_causative", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.become_clear : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.become_clear = { id := "become_clear", languageId := "hebr1245", parameterId := "become_clear", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.make_clear : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.make_clear = { id := "make_clear", languageId := "hebr1245", parameterId := "make_clear", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.be_red : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.be_red = { id := "be_red", languageId := "hebr1245", parameterId := "be_red", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.redden : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.redden = { id := "redden", languageId := "hebr1245", parameterId := "redden", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.budget : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.budget = { id := "budget", languageId := "hebr1245", parameterId := "budget", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_budget : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_budget = { id := "to_budget", languageId := "hebr1245", parameterId := "to_budget", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.telephone : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.telephone = { id := "telephone", languageId := "hebr1245", parameterId := "telephone", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_telephone : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_telephone = { id := "to_telephone", languageId := "hebr1245", parameterId := "to_telephone", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.drunk : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.drunk = { id := "drunk", languageId := "hebr1245", parameterId := "drunk", pos := ↑UD.UPOS.ADJ }

def Arad2005.Forms.Lexemes.to_get_drunk : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_get_drunk = { id := "to_get_drunk", languageId := "hebr1245", parameterId := "to_get_drunk", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.a_snooze : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_snooze = { id := "a_snooze", languageId := "hebr1245", parameterId := "a_snooze", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_snooze : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_snooze = { id := "to_snooze", languageId := "hebr1245", parameterId := "to_snooze", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_computerize : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_computerize = { id := "to_computerize", languageId := "hebr1245", parameterId := "to_computerize", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.maintenance : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.maintenance = { id := "maintenance", languageId := "hebr1245", parameterId := "maintenance", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_maintain : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_maintain = { id := "to_maintain", languageId := "hebr1245", parameterId := "to_maintain", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.to_frame : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_frame = { id := "to_frame", languageId := "hebr1245", parameterId := "to_frame", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.was_framed : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.was_framed = { id := "was_framed", languageId := "hebr1245", parameterId := "was_framed", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.censorship : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.censorship = { id := "censorship", languageId := "hebr1245", parameterId := "censorship", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_censor : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_censor = { id := "to_censor", languageId := "hebr1245", parameterId := "to_censor", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.line : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.line = { id := "line", languageId := "hebr1245", parameterId := "line", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_draw_a_dotted_line : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_draw_a_dotted_line = { id := "to_draw_a_dotted_line", languageId := "hebr1245", parameterId := "to_draw_a_dotted_line", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.debt : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.debt = { id := "debt", languageId := "hebr1245", parameterId := "debt", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_debit_oblige : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_debit_oblige = { id := "to_debit_oblige", languageId := "hebr1245", parameterId := "to_debit_oblige", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.fax : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.fax = { id := "fax", languageId := "hebr1245", parameterId := "fax", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_fax : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_fax = { id := "to_fax", languageId := "hebr1245", parameterId := "to_fax", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.transfer : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.transfer = { id := "transfer", languageId := "hebr1245", parameterId := "transfer", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_transfer : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_transfer = { id := "to_transfer", languageId := "hebr1245", parameterId := "to_transfer", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.striptease : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.striptease = { id := "striptease", languageId := "hebr1245", parameterId := "striptease", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_perform_a_striptease : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_perform_a_striptease = { id := "to_perform_a_striptease", languageId := "hebr1245", parameterId := "to_perform_a_striptease", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.synchronic : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.synchronic = { id := "synchronic", languageId := "hebr1245", parameterId := "synchronic", pos := ↑UD.UPOS.ADJ }

def Arad2005.Forms.Lexemes.synchronize : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.synchronize = { id := "synchronize", languageId := "hebr1245", parameterId := "synchronize", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.a_click : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_click = { id := "a_click", languageId := "hebr1245", parameterId := "a_click", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_click : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_click = { id := "to_click", languageId := "hebr1245", parameterId := "to_click", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.a_slap : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_slap = { id := "a_slap", languageId := "hebr1245", parameterId := "a_slap", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_slap : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_slap = { id := "to_slap", languageId := "hebr1245", parameterId := "to_slap", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.a_splash : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.a_splash = { id := "a_splash", languageId := "hebr1245", parameterId := "a_splash", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_splash : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_splash = { id := "to_splash", languageId := "hebr1245", parameterId := "to_splash", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.law : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.law = { id := "law", languageId := "hebr1245", parameterId := "law", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.legislate : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.legislate = { id := "legislate", languageId := "hebr1245", parameterId := "legislate", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.code : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.code = { id := "code", languageId := "hebr1245", parameterId := "code", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.codify : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.codify = { id := "codify", languageId := "hebr1245", parameterId := "codify", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.blood : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.blood = { id := "blood", languageId := "hebr1245", parameterId := "blood", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.bleed : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.bleed = { id := "bleed", languageId := "hebr1245", parameterId := "bleed", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.Lexemes.chat : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.chat = { id := "chat", languageId := "hebr1245", parameterId := "chat", pos := ↑UD.UPOS.NOUN }

def Arad2005.Forms.Lexemes.to_chat : Data.Forms.Lexeme

Equations

• Arad2005.Forms.Lexemes.to_chat = { id := "to_chat", languageId := "hebr1245", parameterId := "to_chat", pos := ↑UD.UPOS.VERB }

def Arad2005.Forms.lamad : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.nilmad : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.siper : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.supar : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hiqlit : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.huqlat : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitpalel : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.nipec : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.nupac : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xileq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xulaq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.histir : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hustar : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hifqid : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hufqad : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shamar : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.tirgem : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qibel : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitrakex : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shemen : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shamenet : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shuman : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shamen : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hishmin : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shimen : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xashav : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xishev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hexshiv : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitxashev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.maxshev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.maxshava : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xashivut : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xeshbon : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.taxshiv : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qalat : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.miqlat : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.maqlet : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.taqlit : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qaletet : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qelet : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.sagar : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hisgir : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.histager : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.seger : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.sograyim : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.misgeret : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.patax : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.niftax : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qafa : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hiqpi : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.namas : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hemes : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitxamem : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.ximem : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitbaher : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hivhir : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.heedim_inchoative : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.heedim_causative : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.taqciv : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.tiqcev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.telefon : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.tilfen : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.mastul : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hitmastel : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xrop : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xarap : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.mixshev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.taxzuqa : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.tixzeq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.misger : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.musgar : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.cenzura : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.cinzer : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qav : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qivqev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xov : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xiyev : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.faks : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.fikses : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.transfer : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.trinsfer : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.streptiz : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.striptez : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.sinxroni : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.sinxren : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qliq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hiqliq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.fliq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hifliq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.shpritz : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.hishpritz : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xoq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.xoqeq : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qod : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.qoded : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.dam : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.dimem : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.chat : Data.Forms.Form Cell

Equations

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

def Arad2005.Forms.chitet : Data.Forms.Form Cell

Equations

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

structure Arad2005.Forms.Analysis : Type

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

• form : Data.Forms.Form Cell

  The form analysed.

• root : Option String

  The Root column.

• binyan : Option String

  The Binyan column.

• pattern : Option String

  The Pattern column.

• conjugation : Option String

  The Conjugation column.

• alternant : Option String

  The Alternant column.

@[instance_reducible]

instance Arad2005.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• Arad2005.Forms.instDecidableEqAnalysis = Arad2005.Forms.instDecidableEqAnalysis.decEq

def Arad2005.Forms.instDecidableEqAnalysis.decEq (x✝ x✝¹ : Analysis) : Decidable (x✝ = x✝¹)

Equations

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

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

Equations

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

@[instance_reducible]

instance Arad2005.Forms.instReprAnalysis : Repr Analysis

Equations

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

def Arad2005.Forms.lamad.analysis : Analysis

Equations

• Arad2005.Forms.lamad.analysis = { form := Arad2005.Forms.lamad, root := some "lmd", binyan := some "1" }

def Arad2005.Forms.nilmad.analysis : Analysis

Equations

• Arad2005.Forms.nilmad.analysis = { form := Arad2005.Forms.nilmad, root := some "lmd", binyan := some "2" }

def Arad2005.Forms.siper.analysis : Analysis

Equations

• Arad2005.Forms.siper.analysis = { form := Arad2005.Forms.siper, root := some "spr", binyan := some "3" }

def Arad2005.Forms.supar.analysis : Analysis

Equations

• Arad2005.Forms.supar.analysis = { form := Arad2005.Forms.supar, root := some "spr", binyan := some "4" }

def Arad2005.Forms.hiqlit.analysis : Analysis

Equations

• Arad2005.Forms.hiqlit.analysis = { form := Arad2005.Forms.hiqlit, root := some "qlt", binyan := some "5" }

def Arad2005.Forms.huqlat.analysis : Analysis

Equations

• Arad2005.Forms.huqlat.analysis = { form := Arad2005.Forms.huqlat, root := some "qlt", binyan := some "6" }

def Arad2005.Forms.hitpalel.analysis : Analysis

Equations

• Arad2005.Forms.hitpalel.analysis = { form := Arad2005.Forms.hitpalel, root := some "pll", binyan := some "7" }

def Arad2005.Forms.nipec.analysis : Analysis

Equations

• Arad2005.Forms.nipec.analysis = { form := Arad2005.Forms.nipec, root := some "npc", binyan := some "3" }

def Arad2005.Forms.nupac.analysis : Analysis

Equations

• Arad2005.Forms.nupac.analysis = { form := Arad2005.Forms.nupac, root := some "npc", binyan := some "4" }

def Arad2005.Forms.xileq.analysis : Analysis

Equations

• Arad2005.Forms.xileq.analysis = { form := Arad2005.Forms.xileq, root := some "xlq", binyan := some "3" }

def Arad2005.Forms.xulaq.analysis : Analysis

Equations

• Arad2005.Forms.xulaq.analysis = { form := Arad2005.Forms.xulaq, root := some "xlq", binyan := some "4" }

def Arad2005.Forms.histir.analysis : Analysis

Equations

• Arad2005.Forms.histir.analysis = { form := Arad2005.Forms.histir, root := some "str", binyan := some "5" }

def Arad2005.Forms.hustar.analysis : Analysis

Equations

• Arad2005.Forms.hustar.analysis = { form := Arad2005.Forms.hustar, root := some "str", binyan := some "6" }

def Arad2005.Forms.hifqid.analysis : Analysis

Equations

• Arad2005.Forms.hifqid.analysis = { form := Arad2005.Forms.hifqid, root := some "pqd", binyan := some "5" }

def Arad2005.Forms.hufqad.analysis : Analysis

Equations

• Arad2005.Forms.hufqad.analysis = { form := Arad2005.Forms.hufqad, root := some "pqd", binyan := some "6" }

def Arad2005.Forms.shamar.analysis : Analysis

Equations

• Arad2005.Forms.shamar.analysis = { form := Arad2005.Forms.shamar, root := some "šmr", binyan := some "1" }

def Arad2005.Forms.tirgem.analysis : Analysis

Equations

• Arad2005.Forms.tirgem.analysis = { form := Arad2005.Forms.tirgem, root := some "trgm", binyan := some "3" }

def Arad2005.Forms.qibel.analysis : Analysis

Equations

• Arad2005.Forms.qibel.analysis = { form := Arad2005.Forms.qibel, root := some "qbl", binyan := some "3" }

def Arad2005.Forms.hitrakex.analysis : Analysis

Equations

• Arad2005.Forms.hitrakex.analysis = { form := Arad2005.Forms.hitrakex, root := some "rkk", binyan := some "7" }

def Arad2005.Forms.shemen.analysis : Analysis

Equations

• Arad2005.Forms.shemen.analysis = { form := Arad2005.Forms.shemen, root := some "šmn", pattern := some "CeCeC" }

def Arad2005.Forms.shamenet.analysis : Analysis

Equations

• Arad2005.Forms.shamenet.analysis = { form := Arad2005.Forms.shamenet, root := some "šmn", pattern := some "CaCCeCet" }

def Arad2005.Forms.shuman.analysis : Analysis

Equations

• Arad2005.Forms.shuman.analysis = { form := Arad2005.Forms.shuman, root := some "šmn", pattern := some "CuCaC" }

def Arad2005.Forms.shamen.analysis : Analysis

Equations

• Arad2005.Forms.shamen.analysis = { form := Arad2005.Forms.shamen, root := some "šmn", pattern := some "CaCeC" }

def Arad2005.Forms.hishmin.analysis : Analysis

Equations

• Arad2005.Forms.hishmin.analysis = { form := Arad2005.Forms.hishmin, root := some "šmn", binyan := some "5" }

def Arad2005.Forms.shimen.analysis : Analysis

Equations

• Arad2005.Forms.shimen.analysis = { form := Arad2005.Forms.shimen, root := some "šmn", binyan := some "3" }

def Arad2005.Forms.xashav.analysis : Analysis

Equations

• Arad2005.Forms.xashav.analysis = { form := Arad2005.Forms.xashav, root := some "xšb", binyan := some "1" }

def Arad2005.Forms.xishev.analysis : Analysis

Equations

• Arad2005.Forms.xishev.analysis = { form := Arad2005.Forms.xishev, root := some "xšb", binyan := some "3" }

def Arad2005.Forms.hexshiv.analysis : Analysis

Equations

• Arad2005.Forms.hexshiv.analysis = { form := Arad2005.Forms.hexshiv, root := some "xšb", binyan := some "5" }

def Arad2005.Forms.hitxashev.analysis : Analysis

Equations

• Arad2005.Forms.hitxashev.analysis = { form := Arad2005.Forms.hitxashev, root := some "xšb", binyan := some "7" }

def Arad2005.Forms.maxshev.analysis : Analysis

Equations

• Arad2005.Forms.maxshev.analysis = { form := Arad2005.Forms.maxshev, root := some "xšb", pattern := some "maCCeC" }

def Arad2005.Forms.maxshava.analysis : Analysis

Equations

• Arad2005.Forms.maxshava.analysis = { form := Arad2005.Forms.maxshava, root := some "xšb", pattern := some "maCCaCa" }

def Arad2005.Forms.xashivut.analysis : Analysis

Equations

• Arad2005.Forms.xashivut.analysis = { form := Arad2005.Forms.xashivut, root := some "xšb", pattern := some "CCiCut" }

def Arad2005.Forms.xeshbon.analysis : Analysis

Equations

• Arad2005.Forms.xeshbon.analysis = { form := Arad2005.Forms.xeshbon, root := some "xšb", pattern := some "CiCCon" }

def Arad2005.Forms.taxshiv.analysis : Analysis

Equations

• Arad2005.Forms.taxshiv.analysis = { form := Arad2005.Forms.taxshiv, root := some "xšb", pattern := some "taCCiC" }

def Arad2005.Forms.qalat.analysis : Analysis

Equations

• Arad2005.Forms.qalat.analysis = { form := Arad2005.Forms.qalat, root := some "qlt", binyan := some "1" }

def Arad2005.Forms.miqlat.analysis : Analysis

Equations

• Arad2005.Forms.miqlat.analysis = { form := Arad2005.Forms.miqlat, root := some "qlt", pattern := some "miCCaC" }

def Arad2005.Forms.maqlet.analysis : Analysis

Equations

• Arad2005.Forms.maqlet.analysis = { form := Arad2005.Forms.maqlet, root := some "qlt", pattern := some "maCCeC" }

def Arad2005.Forms.taqlit.analysis : Analysis

Equations

• Arad2005.Forms.taqlit.analysis = { form := Arad2005.Forms.taqlit, root := some "qlt", pattern := some "taCCiC" }

def Arad2005.Forms.qaletet.analysis : Analysis

Equations

• Arad2005.Forms.qaletet.analysis = { form := Arad2005.Forms.qaletet, root := some "qlt", pattern := some "CaCCeCet" }

def Arad2005.Forms.qelet.analysis : Analysis

Equations

• Arad2005.Forms.qelet.analysis = { form := Arad2005.Forms.qelet, root := some "qlt", pattern := some "CeCeC" }

def Arad2005.Forms.sagar.analysis : Analysis

Equations

• Arad2005.Forms.sagar.analysis = { form := Arad2005.Forms.sagar, root := some "sgr", binyan := some "1" }

def Arad2005.Forms.hisgir.analysis : Analysis

Equations

• Arad2005.Forms.hisgir.analysis = { form := Arad2005.Forms.hisgir, root := some "sgr", binyan := some "5" }

def Arad2005.Forms.histager.analysis : Analysis

Equations

• Arad2005.Forms.histager.analysis = { form := Arad2005.Forms.histager, root := some "sgr", binyan := some "7" }

def Arad2005.Forms.seger.analysis : Analysis

Equations

• Arad2005.Forms.seger.analysis = { form := Arad2005.Forms.seger, root := some "sgr", pattern := some "CeCeC" }

def Arad2005.Forms.sograyim.analysis : Analysis

Equations

• Arad2005.Forms.sograyim.analysis = { form := Arad2005.Forms.sograyim, root := some "sgr", pattern := some "CoCCayim" }

def Arad2005.Forms.misgeret.analysis : Analysis

Equations

• Arad2005.Forms.misgeret.analysis = { form := Arad2005.Forms.misgeret, root := some "sgr", pattern := some "miCCeCet" }

def Arad2005.Forms.patax.analysis : Analysis

Equations

• Arad2005.Forms.patax.analysis = { form := Arad2005.Forms.patax, root := some "ptx", binyan := some "1", conjugation := some "1", alternant := some "causative" }

def Arad2005.Forms.niftax.analysis : Analysis

Equations

• Arad2005.Forms.niftax.analysis = { form := Arad2005.Forms.niftax, root := some "ptx", binyan := some "2", conjugation := some "1", alternant := some "inchoative" }

def Arad2005.Forms.qafa.analysis : Analysis

Equations

• Arad2005.Forms.qafa.analysis = { form := Arad2005.Forms.qafa, root := some "qpʔ", binyan := some "1", conjugation := some "2", alternant := some "non-causative" }

def Arad2005.Forms.hiqpi.analysis : Analysis

Equations

• Arad2005.Forms.hiqpi.analysis = { form := Arad2005.Forms.hiqpi, root := some "qpʔ", binyan := some "5", conjugation := some "2", alternant := some "causative" }

def Arad2005.Forms.namas.analysis : Analysis

Equations

• Arad2005.Forms.namas.analysis = { form := Arad2005.Forms.namas, root := some "mss", binyan := some "2", conjugation := some "3", alternant := some "inchoative" }

def Arad2005.Forms.hemes.analysis : Analysis

Equations

• Arad2005.Forms.hemes.analysis = { form := Arad2005.Forms.hemes, root := some "mss", binyan := some "5", conjugation := some "3", alternant := some "causative" }

def Arad2005.Forms.hitxamem.analysis : Analysis

Equations

• Arad2005.Forms.hitxamem.analysis = { form := Arad2005.Forms.hitxamem, root := some "xmm", binyan := some "7", conjugation := some "4", alternant := some "inchoative" }

def Arad2005.Forms.ximem.analysis : Analysis

Equations

• Arad2005.Forms.ximem.analysis = { form := Arad2005.Forms.ximem, root := some "xmm", binyan := some "3", conjugation := some "4", alternant := some "causative" }

def Arad2005.Forms.hitbaher.analysis : Analysis

Equations

• Arad2005.Forms.hitbaher.analysis = { form := Arad2005.Forms.hitbaher, root := some "bhr", binyan := some "7", conjugation := some "5", alternant := some "inchoative" }

def Arad2005.Forms.hivhir.analysis : Analysis

Equations

• Arad2005.Forms.hivhir.analysis = { form := Arad2005.Forms.hivhir, root := some "bhr", binyan := some "5", conjugation := some "5", alternant := some "causative" }

def Arad2005.Forms.heedim_inchoative.analysis : Analysis

Equations

• Arad2005.Forms.heedim_inchoative.analysis = { form := Arad2005.Forms.heedim_inchoative, root := some "ʔdm", binyan := some "5", conjugation := some "6", alternant := some "inchoative" }

def Arad2005.Forms.heedim_causative.analysis : Analysis

Equations

• Arad2005.Forms.heedim_causative.analysis = { form := Arad2005.Forms.heedim_causative, root := some "ʔdm", binyan := some "5", conjugation := some "6", alternant := some "causative" }

def Arad2005.Forms.taqciv.analysis : Analysis

Equations

• Arad2005.Forms.taqciv.analysis = { form := Arad2005.Forms.taqciv }

def Arad2005.Forms.tiqcev.analysis : Analysis

Equations

• Arad2005.Forms.tiqcev.analysis = { form := Arad2005.Forms.tiqcev }

def Arad2005.Forms.telefon.analysis : Analysis

Equations

• Arad2005.Forms.telefon.analysis = { form := Arad2005.Forms.telefon }

def Arad2005.Forms.tilfen.analysis : Analysis

Equations

• Arad2005.Forms.tilfen.analysis = { form := Arad2005.Forms.tilfen, binyan := some "3" }

def Arad2005.Forms.mastul.analysis : Analysis

Equations

• Arad2005.Forms.mastul.analysis = { form := Arad2005.Forms.mastul }

def Arad2005.Forms.hitmastel.analysis : Analysis

Equations

• Arad2005.Forms.hitmastel.analysis = { form := Arad2005.Forms.hitmastel, binyan := some "7" }

def Arad2005.Forms.xrop.analysis : Analysis

Equations

• Arad2005.Forms.xrop.analysis = { form := Arad2005.Forms.xrop }

def Arad2005.Forms.xarap.analysis : Analysis

Equations

• Arad2005.Forms.xarap.analysis = { form := Arad2005.Forms.xarap, binyan := some "1" }

def Arad2005.Forms.mixshev.analysis : Analysis

Equations

• Arad2005.Forms.mixshev.analysis = { form := Arad2005.Forms.mixshev, binyan := some "3" }

def Arad2005.Forms.taxzuqa.analysis : Analysis

Equations

• Arad2005.Forms.taxzuqa.analysis = { form := Arad2005.Forms.taxzuqa, root := some "xzq" }

def Arad2005.Forms.tixzeq.analysis : Analysis

Equations

• Arad2005.Forms.tixzeq.analysis = { form := Arad2005.Forms.tixzeq }

def Arad2005.Forms.misger.analysis : Analysis

Equations

• Arad2005.Forms.misger.analysis = { form := Arad2005.Forms.misger, binyan := some "3" }

def Arad2005.Forms.musgar.analysis : Analysis

Equations

• Arad2005.Forms.musgar.analysis = { form := Arad2005.Forms.musgar, binyan := some "4" }

def Arad2005.Forms.cenzura.analysis : Analysis

Equations

• Arad2005.Forms.cenzura.analysis = { form := Arad2005.Forms.cenzura }

def Arad2005.Forms.cinzer.analysis : Analysis

Equations

• Arad2005.Forms.cinzer.analysis = { form := Arad2005.Forms.cinzer }

def Arad2005.Forms.qav.analysis : Analysis

Equations

• Arad2005.Forms.qav.analysis = { form := Arad2005.Forms.qav }

def Arad2005.Forms.qivqev.analysis : Analysis

Equations

• Arad2005.Forms.qivqev.analysis = { form := Arad2005.Forms.qivqev }

def Arad2005.Forms.xov.analysis : Analysis

Equations

• Arad2005.Forms.xov.analysis = { form := Arad2005.Forms.xov }

def Arad2005.Forms.xiyev.analysis : Analysis

Equations

• Arad2005.Forms.xiyev.analysis = { form := Arad2005.Forms.xiyev }

def Arad2005.Forms.faks.analysis : Analysis

Equations

• Arad2005.Forms.faks.analysis = { form := Arad2005.Forms.faks }

def Arad2005.Forms.fikses.analysis : Analysis

Equations

• Arad2005.Forms.fikses.analysis = { form := Arad2005.Forms.fikses }

def Arad2005.Forms.transfer.analysis : Analysis

Equations

• Arad2005.Forms.transfer.analysis = { form := Arad2005.Forms.transfer }

def Arad2005.Forms.trinsfer.analysis : Analysis

Equations

• Arad2005.Forms.trinsfer.analysis = { form := Arad2005.Forms.trinsfer }

def Arad2005.Forms.streptiz.analysis : Analysis

Equations

• Arad2005.Forms.streptiz.analysis = { form := Arad2005.Forms.streptiz }

def Arad2005.Forms.striptez.analysis : Analysis

Equations

• Arad2005.Forms.striptez.analysis = { form := Arad2005.Forms.striptez }

def Arad2005.Forms.sinxroni.analysis : Analysis

Equations

• Arad2005.Forms.sinxroni.analysis = { form := Arad2005.Forms.sinxroni }

def Arad2005.Forms.sinxren.analysis : Analysis

Equations

• Arad2005.Forms.sinxren.analysis = { form := Arad2005.Forms.sinxren }

def Arad2005.Forms.qliq.analysis : Analysis

Equations

• Arad2005.Forms.qliq.analysis = { form := Arad2005.Forms.qliq }

def Arad2005.Forms.hiqliq.analysis : Analysis

Equations

• Arad2005.Forms.hiqliq.analysis = { form := Arad2005.Forms.hiqliq, binyan := some "5" }

def Arad2005.Forms.fliq.analysis : Analysis

Equations

• Arad2005.Forms.fliq.analysis = { form := Arad2005.Forms.fliq }

def Arad2005.Forms.hifliq.analysis : Analysis

Equations

• Arad2005.Forms.hifliq.analysis = { form := Arad2005.Forms.hifliq, binyan := some "5" }

def Arad2005.Forms.shpritz.analysis : Analysis

Equations

• Arad2005.Forms.shpritz.analysis = { form := Arad2005.Forms.shpritz }

def Arad2005.Forms.hishpritz.analysis : Analysis

Equations

• Arad2005.Forms.hishpritz.analysis = { form := Arad2005.Forms.hishpritz, binyan := some "5" }

def Arad2005.Forms.xoq.analysis : Analysis

Equations

• Arad2005.Forms.xoq.analysis = { form := Arad2005.Forms.xoq }

def Arad2005.Forms.xoqeq.analysis : Analysis

Equations

• Arad2005.Forms.xoqeq.analysis = { form := Arad2005.Forms.xoqeq }

def Arad2005.Forms.qod.analysis : Analysis

Equations

• Arad2005.Forms.qod.analysis = { form := Arad2005.Forms.qod }

def Arad2005.Forms.qoded.analysis : Analysis

Equations

• Arad2005.Forms.qoded.analysis = { form := Arad2005.Forms.qoded }

def Arad2005.Forms.dam.analysis : Analysis

Equations

• Arad2005.Forms.dam.analysis = { form := Arad2005.Forms.dam }

def Arad2005.Forms.dimem.analysis : Analysis

Equations

• Arad2005.Forms.dimem.analysis = { form := Arad2005.Forms.dimem }

def Arad2005.Forms.chat.analysis : Analysis

Equations

• Arad2005.Forms.chat.analysis = { form := Arad2005.Forms.chat }

def Arad2005.Forms.chitet.analysis : Analysis

Equations

• Arad2005.Forms.chitet.analysis = { form := Arad2005.Forms.chitet }

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

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

Equations

• Arad2005.Forms.marked = []

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

Every relation the sources assert between forms.

Equations

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

def Arad2005.Forms.analysisRelations : List (Data.Forms.FormRelation Analysis)

Every relation the sources assert, between the forms' analyses.

Equations

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

def Arad2005.Forms.analyses : List Analysis

Every analysis of the data.

Equations

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