Serbian Case Inventory

@cite{blake-1994}

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

Serbian 6-case core inventory (excluding VOC).

Equations

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

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