Documentation

Linglib.Fragments.Yakut.Case

Yakut (Sakha) Case System #

@cite{baker-vinokurova-2010}

Sakha is the Turkic language analyzed by @cite{baker-vinokurova-2010} as the cross-linguistic exemplar of a two-modality case grammar: ACC and DAT are dependent case (Marantz; cf. Marantz1991.lean), while NOM is assigned by finite T via Agree and GEN is assigned by D via Agree.

The clausal-level derivations live in Phenomena/Case/Studies/BakerVinokurova2010.lean. This fragment records the language-level case inventory and the corresponding CaseSystemConfig instance, parallel to Fragments.Mongolian.Case.

source
def Fragments.Yakut.Case.yakutCaseConfig :
Syntax.Case.CaseSystemConfig

The Sakha case system @cite{baker-vinokurova-2010}: accusative alignment with dependent ACC + DAT and Agree-based NOM + GEN.

Equations
Instances For
    source
    theorem Fragments.Yakut.Case.yakut_is_accusative :
    yakutCaseConfig.langType = Syntax.Case.CaseLanguageType.accusative
    source
    theorem Fragments.Yakut.Case.yakut_acc_dependent :
    yakutCaseConfig.accMode = Syntax.Case.AccAssignment.dependent
    source
    theorem Fragments.Yakut.Case.yakut_dat_dependent :
    yakutCaseConfig.datMode = Syntax.Case.DatAssignment.dependent
    source
    theorem Fragments.Yakut.Case.yakut_nom_agree :
    yakutCaseConfig.nomMode = Syntax.Case.NomAssignment.agreeT
    source
    theorem Fragments.Yakut.Case.yakut_gen_agree :
    yakutCaseConfig.genMode = Syntax.Case.GenAssignment.agreeD
    source
    def Fragments.Yakut.Case.caseInventory :
    Finset Core.Case

    Sakha morphological case inventory.

    Sakha distinguishes NOM (unmarked), ACC, DAT, ABL, INST, COM, and PART, plus the relational/derivational GEN that surfaces on DP-internal possessors. The traditional eight-case system is accusative-aligned with no ABS/ERG distinction.

    Equations
    Instances For
      source
      theorem Fragments.Yakut.Case.yakut_vs_mongolian_localized :
      yakutCaseConfig.langType = Syntax.Case.CaseLanguageType.accusative ∧ yakutCaseConfig.nomMode = Syntax.Case.NomAssignment.agreeT ∧ yakutCaseConfig.accMode = Syntax.Case.AccAssignment.dependent ∧ yakutCaseConfig.genMode = Syntax.Case.GenAssignment.agreeD

      Sakha vs. Mongolian (cf. Fragments.Mongolian.Case): the two languages share langType, nomMode, accMode, and genMode but differ exclusively in datMode. Sakha has dependent DAT (assigned by the (4a)/(85) DAT rule); Mongolian has nonstructural DAT supplied by the lexicon. The cross-Turkic/Mongolic contrast localizes to a single config parameter.