Icelandic Case Inventory

@cite{thrainsson-2007}

Icelandic has 4 morphological cases: NOM, ACC, DAT, GEN. Contiguous on Blake's hierarchy (ranks 6, 6, 5, 4).

Case frames, quirky subjects, verb data, and agreement are in Icelandic/Verbs.lean.

def Fragments.Icelandic.Case.caseInventory : Finset Core.Case

Icelandic 4-case inventory (@cite{thrainsson-2007} §4.1).

Equations

• Fragments.Icelandic.Case.caseInventory = {UD.Case.nom, UD.Case.acc, UD.Case.gen, UD.Case.dat}

theorem Fragments.Icelandic.Case.icelandic_has_four_cases : caseInventory.card = 4