Icelandic Case Inventory

[Thr07]

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 Icelandic.Case.caseInventory : Finset Case

Icelandic 4-case inventory ([Thr07] §4.1).

Equations

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

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