Slovenian Case Inventory

@cite{blake-1994}

Slovenian has 6 cases: NOM, ACC, GEN, DAT, LOC, INST. Unlike most other South Slavic languages (which have lost case), Slovenian preserves the full 6-case system. No distinct vocative.

Perfectly contiguous on Blake's hierarchy.

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

Slovenian 6-case inventory.

Equations

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

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