Documentation

Linglib.Fragments.Tamil.Case

Tamil Case Inventory #

@cite{blake-1994}

Tamil (Dravidian) has 8 cases with agglutinative suffixes: NOM (∅), ACC (-ai), DAT (-ukku), GEN (-in / -uṭaiya), LOC (-il), ABL (-ilirundu), INST / COM (-āl / -ōṭu), VOC (-ē).

The instrumental and comitative are sometimes syncretic (-ōṭu covers both functions), a pattern documented cross-linguistically (@cite{blake-1994}; WALS Ch. 52).

source
def Fragments.Tamil.Case.caseInventory :
List Core.Case

Tamil 7-case core inventory (excluding VOC).

Equations
Instances For
    source
    theorem Fragments.Tamil.Case.inventory_valid :
    Core.validInventory caseInventory = true

    Contiguous on Blake's hierarchy (ranks 6 down to 1).

    source
    def Fragments.Tamil.Case.tamilComInstSync :
    Theories.Morphology.CaseContainment.Syncretism

    Tamil COM/INST syncretism (-ōṭu covers both functions). Uses the cross-linguistic pattern from Core.Case.Syncretism.

    Equations
    Instances For
      source
      theorem Fragments.Tamil.Case.com_inst_adjacent :
      Theories.Morphology.CaseContainment.hierarchyAdjacent Core.Case.com Core.Case.inst = true

      COM/INST are strictly adjacent (ranks 1, 2).