Czech Case Inventory

@cite{blake-1994}

Czech has 7 cases: NOM, ACC, GEN, DAT, LOC, INST, VOC. The standard Slavic 7-case system. VOC is marginal (rank 0) and outside Blake's main hierarchy; the 6-case core is perfectly contiguous.

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

Czech 6-case core inventory (excluding VOC).

Equations

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

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

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