Hungarian Case Inventory @cite{blake-1994}

Hungarian has 18 morphological cases (one of the largest in Europe), with agglutinative suffixes. Beyond the common grammatical cases, Hungarian has a rich local case system and several abstract cases.

Our 19-value Core.Case can represent 11 of the 18:

• Grammatical: NOM (∅), ACC (-t), DAT (-nak / -nek), GEN (= DAT form)
• Local: INE (-ban / -ben), ELA (-ból / -ből), ILL (-ba / -be), ADE (-nál / -nél), ABL (-tól / -től), ALL (-hoz / -hez / -höz), SUPE (-n / -on / -en / -ön), SUBL (-ra / -re), DELA (-ról / -ről)
• Other: INST (-val / -vel), COM (= INST form), TRANS (-vá / -vé), ESS (-ul / -ül), CAUS (-ért), TERM (-ig), DISTR (-nként)

Cases with no Core.Case equivalent: essive, translative, terminative, distributive, superessive, sublative, delative. We collapse the internal/external/surface local triads like Finnish.

def Fragments.Hungarian.Case.caseInventory : List Core.Case

Hungarian case inventory mapped to Core.Case (11 of 18).

Equations

• Fragments.Hungarian.Case.caseInventory = [Core.Case.nom, Core.Case.acc, Core.Case.dat, Core.Case.gen, Core.Case.loc, Core.Case.abl, Core.Case.all, Core.Case.inst, Core.Case.com, Core.Case.caus]

theorem Fragments.Hungarian.Case.inventory_valid : Core.validInventory caseInventory = true

Contiguous on Blake's hierarchy (ranks 6 down to 0).