Ukrainian Case Inventory

@cite{blake-1994}

Ukrainian has 7 cases: NOM, ACC, GEN, DAT, LOC, INST, VOC. The standard Slavic 7-case system. The 6-case core (excluding VOC) is perfectly contiguous on Blake's hierarchy.

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

Ukrainian 6-case core inventory (excluding VOC).

Equations

• Fragments.Ukrainian.Case.caseInventory = [Core.Case.nom, Core.Case.acc, Core.Case.gen, Core.Case.dat, Core.Case.loc, Core.Case.inst]

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