Russian Case Inventory @cite{blake-1994}

Russian has 6 cases: NOM, ACC, GEN, DAT, INST, LOC (prepositional). No distinct vocative in standard Russian (unlike Ukrainian, Czech, Polish).

The inventory is perfectly contiguous on Blake's hierarchy.

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

Russian 6-case inventory.

Equations

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

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

Contiguous on Blake's hierarchy (ranks 6, 6, 5, 4, 2, 3).