Polish Case Inventory

@cite{blake-1994}

Polish 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.Polish.Case.caseInventory : List Core.Case

Polish 6-case core inventory (excluding VOC).

Equations

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

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