Dependent Case ↔ Inventory Bridge

Connects the dependent case algorithm (assignCases) to language-specific case inventories from Fragment files. For each language, we prove that the structural cases the algorithm can assign are members of that language's validated case inventory.

Structure

• § 1: Language type assignments (accusative, ergative, or split)
• § 2: Inventory coverage — for each language, the structural cases produced by structuralCasesFor are all in the language's caseInventory
• § 3: Ergative language coverage (Basque, Mam, Kaqchikel)
• § 4: Split-ergative coverage (Hindi, Georgian) — partial, because the algorithm's ABS is realized as NOM in these languages
• § 5: Concrete derivation examples for representative languages

The ABS/NOM Mismatch in Split-Ergative Languages

The dependent case algorithm assigns ABS (CaseVal.abs) as the unmarked case in ergative alignment. However, Hindi and Georgian realize this function morphologically as NOM (no overt marker), not as a distinct ABS form. Their inventories contain ERG (the dependent case) but not ABS. This is a well-known typological fact: many split-ergative languages have a syncretic unmarked case that serves both the nominative (accusative frames) and absolutive (ergative frames) functions.

The bridge documents this: we prove full coverage for accusative alignment and ERG-specific coverage for ergative alignment, noting that ABS → NOM is a morphological identity, not a gap in the theory.

def Phenomena.Case.Studies.DependentCaseInventories.germanLangType : Minimalism.CaseLanguageType

German is an accusative language (NOM for S/A, ACC for P).

Equations

• Phenomena.Case.Studies.DependentCaseInventories.germanLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.turkishLangType : Minimalism.CaseLanguageType

Turkish is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.turkishLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.russianLangType : Minimalism.CaseLanguageType

Russian is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.russianLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.czechLangType : Minimalism.CaseLanguageType

Czech is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.czechLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.polishLangType : Minimalism.CaseLanguageType

Polish is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.polishLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.ukrainianLangType : Minimalism.CaseLanguageType

Ukrainian is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.ukrainianLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.serbianLangType : Minimalism.CaseLanguageType

Serbian is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.serbianLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.slovenianLangType : Minimalism.CaseLanguageType

Slovenian is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.slovenianLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.greekLangType : Minimalism.CaseLanguageType

Greek is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.greekLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.latinLangType : Minimalism.CaseLanguageType

Latin is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.latinLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.finnishLangType : Minimalism.CaseLanguageType

Finnish is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.finnishLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.hungarianLangType : Minimalism.CaseLanguageType

Hungarian is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.hungarianLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.tamilLangType : Minimalism.CaseLanguageType

Tamil is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.tamilLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.japaneseLangType : Minimalism.CaseLanguageType

Japanese is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.japaneseLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.koreanLangType : Minimalism.CaseLanguageType

Korean is an accusative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.koreanLangType = Minimalism.CaseLanguageType.accusative

def Phenomena.Case.Studies.DependentCaseInventories.basqueLangType : Minimalism.CaseLanguageType

Basque is an ergative language (ERG for A, ABS for S/P).

Equations

• Phenomena.Case.Studies.DependentCaseInventories.basqueLangType = Minimalism.CaseLanguageType.ergative

def Phenomena.Case.Studies.DependentCaseInventories.mamLangType : Minimalism.CaseLanguageType

Mam (Mayan) is a tripartite language (ERG, ACC, ABS all distinct).

Equations

• Phenomena.Case.Studies.DependentCaseInventories.mamLangType = Minimalism.CaseLanguageType.tripartite

def Phenomena.Case.Studies.DependentCaseInventories.kaqchikelLangType : Minimalism.CaseLanguageType

Kaqchikel (Mayan) is an ergative language.

Equations

• Phenomena.Case.Studies.DependentCaseInventories.kaqchikelLangType = Minimalism.CaseLanguageType.ergative

For each accusative language, the structural cases [NOM, ACC] are both members of that language's case inventory.

theorem Phenomena.Case.Studies.DependentCaseInventories.german_structural_coverage : ((Minimalism.structuralCasesFor germanLangType).all fun (cv : Minimalism.CaseVal) => Fragments.German.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.turkish_structural_coverage : ((Minimalism.structuralCasesFor turkishLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Turkish.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.russian_structural_coverage : ((Minimalism.structuralCasesFor russianLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Russian.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.czech_structural_coverage : ((Minimalism.structuralCasesFor czechLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Czech.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.polish_structural_coverage : ((Minimalism.structuralCasesFor polishLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Polish.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.ukrainian_structural_coverage : ((Minimalism.structuralCasesFor ukrainianLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Ukrainian.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.serbian_structural_coverage : ((Minimalism.structuralCasesFor serbianLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Serbian.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.slovenian_structural_coverage : ((Minimalism.structuralCasesFor slovenianLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Slovenian.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.greek_structural_coverage : ((Minimalism.structuralCasesFor greekLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Greek.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.latin_structural_coverage : ((Minimalism.structuralCasesFor latinLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Latin.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.finnish_structural_coverage : ((Minimalism.structuralCasesFor finnishLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Finnish.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.hungarian_structural_coverage : ((Minimalism.structuralCasesFor hungarianLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Hungarian.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.tamil_structural_coverage : ((Minimalism.structuralCasesFor tamilLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Tamil.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.japanese_structural_coverage : ((Minimalism.structuralCasesFor japaneseLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Japanese.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.korean_structural_coverage : ((Minimalism.structuralCasesFor koreanLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Korean.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

For ergative languages, the structural cases [ABS, ERG] are in the inventory. Basque and Kaqchikel are fully ergative; Mam is tripartite (ERG, ACC, ABS all distinct).

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_structural_coverage : ((Minimalism.structuralCasesFor basqueLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Basque.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.mam_structural_coverage : ((Minimalism.structuralCasesFor mamLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Mayan.Mam.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.kaqchikel_structural_coverage : ((Minimalism.structuralCasesFor kaqchikelLangType).all fun (cv : Minimalism.CaseVal) => Fragments.Mayan.Kaqchikel.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

Hindi and Georgian are split-ergative: accusative alignment in some tense/aspect contexts, ergative alignment in others. We prove: (1) Full accusative structural coverage (NOM, ACC ∈ inventory) (2) ERG ∈ inventory (the dependent case in ergative frames) (3) ABS ∉ inventory — these languages realize the absolutive function morphologically as NOM, so the algorithm's ABS output maps to a case that is in the inventory under a different label.

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_accusative_coverage : ((Minimalism.structuralCasesFor Minimalism.CaseLanguageType.accusative).all fun (cv : Minimalism.CaseVal) => Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == cv.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_erg_in_inventory : (Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.erg.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_abs_not_in_inventory : (Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.abs.toCase) = false

ABS is not in Hindi's inventory: the absolutive function (unmarked S/P in perfective) is morphologically NOM.

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_nom_covers_abs_function : (Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.nom.toCase) = true

But NOM IS in the inventory, documenting the ABS → NOM syncretism.

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_erg_in_inventory : (Fragments.Georgian.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.erg.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_abs_not_in_inventory : (Fragments.Georgian.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.abs.toCase) = false

ABS is not in Georgian's inventory: the absolutive function is morphologically NOM in both aorist (ergative) and present (accusative) frames.

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_nom_covers_abs_function : (Fragments.Georgian.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.nom.toCase) = true

NOM covers the absolutive function in Georgian.

German Derivations

"Der Mann sieht die Frau" (The man sees the woman)

• Transitive: subject (higher) + object (lower), both without lexical case
• Subject → NOM (unmarked), Object → ACC (dependent)

"Der Mann schläft" (The man sleeps)

• Intransitive: single NP without lexical case
• Subject → NOM (unmarked, no case competitor)

def Phenomena.Case.Studies.DependentCaseInventories.germanTransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.germanTransitiveNPs = [{ label := "subject", lexicalCase := none }, { label := "object", lexicalCase := none }]

def Phenomena.Case.Studies.DependentCaseInventories.germanIntransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.germanIntransitiveNPs = [{ label := "subject", lexicalCase := none }]

theorem Phenomena.Case.Studies.DependentCaseInventories.german_transitive_subject_nom : Minimalism.getCaseOf "subject" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative germanTransitiveNPs) = some Minimalism.CaseVal.nom

theorem Phenomena.Case.Studies.DependentCaseInventories.german_transitive_object_acc : Minimalism.getCaseOf "object" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative germanTransitiveNPs) = some Minimalism.CaseVal.acc

theorem Phenomena.Case.Studies.DependentCaseInventories.german_intransitive_subject_nom : Minimalism.getCaseOf "subject" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative germanIntransitiveNPs) = some Minimalism.CaseVal.nom

theorem Phenomena.Case.Studies.DependentCaseInventories.german_transitive_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.accusative germanTransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.German.Case.caseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

All cases in the German transitive derivation are in German's inventory.

theorem Phenomena.Case.Studies.DependentCaseInventories.german_intransitive_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.accusative germanIntransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.German.Case.caseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

All cases in the German intransitive derivation are in German's inventory.

Turkish Derivations

"Adam kadını gördü" (The man saw the woman)

• Transitive: subject NOM (∅), object ACC (-I)

"Adam uyudu" (The man slept)

• Intransitive: subject NOM (∅)

def Phenomena.Case.Studies.DependentCaseInventories.turkishTransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.turkishTransitiveNPs = [{ label := "subject", lexicalCase := none }, { label := "object", lexicalCase := none }]

def Phenomena.Case.Studies.DependentCaseInventories.turkishIntransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.turkishIntransitiveNPs = [{ label := "subject", lexicalCase := none }]

theorem Phenomena.Case.Studies.DependentCaseInventories.turkish_transitive_cases : Minimalism.getCaseOf "subject" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative turkishTransitiveNPs) = some Minimalism.CaseVal.nom ∧ Minimalism.getCaseOf "object" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative turkishTransitiveNPs) = some Minimalism.CaseVal.acc

theorem Phenomena.Case.Studies.DependentCaseInventories.turkish_intransitive_case : Minimalism.getCaseOf "subject" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative turkishIntransitiveNPs) = some Minimalism.CaseVal.nom

theorem Phenomena.Case.Studies.DependentCaseInventories.turkish_transitive_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.accusative turkishTransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.Turkish.Case.caseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

Basque Derivations (Ergative)

"Gizonak mutila ikusi du" (The man-ERG boy-ABS see AUX)

• Transitive: agent (higher) → ERG (dependent), patient (lower) → ABS (unmarked)

"Mutila etorri da" (The boy-ABS come AUX)

• Intransitive: sole NP → ABS (unmarked, no case competitor)

def Phenomena.Case.Studies.DependentCaseInventories.basqueTransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.basqueTransitiveNPs = [{ label := "agent", lexicalCase := none }, { label := "patient", lexicalCase := none }]

def Phenomena.Case.Studies.DependentCaseInventories.basqueIntransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.basqueIntransitiveNPs = [{ label := "subject", lexicalCase := none }]

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_transitive_agent_erg : Minimalism.getCaseOf "agent" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative basqueTransitiveNPs) = some Minimalism.CaseVal.erg

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_transitive_patient_abs : Minimalism.getCaseOf "patient" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative basqueTransitiveNPs) = some Minimalism.CaseVal.abs

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_intransitive_subject_abs : Minimalism.getCaseOf "subject" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative basqueIntransitiveNPs) = some Minimalism.CaseVal.abs

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_transitive_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.ergative basqueTransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.Basque.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

All cases in the Basque transitive derivation are in Basque's inventory.

theorem Phenomena.Case.Studies.DependentCaseInventories.basque_intransitive_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.ergative basqueIntransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.Basque.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

All cases in the Basque intransitive derivation are in Basque's inventory.

Hindi Split-Ergative Derivations

Hindi perfective transitive: "Raam-ne roTii khaayii" (Ram-ERG bread-NOM ate) — ergative alignment

Hindi imperfective transitive: "Raam roTii khaataa hai" (Ram-NOM bread-ACC eats AUX) — accusative alignment

The same structural configuration (agent + patient) yields different case frames depending on the tense/aspect conditioning of the split.

def Phenomena.Case.Studies.DependentCaseInventories.hindiTransitiveNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.hindiTransitiveNPs = [{ label := "agent", lexicalCase := none }, { label := "patient", lexicalCase := none }]

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_imperfective_agent_nom : Minimalism.getCaseOf "agent" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative hindiTransitiveNPs) = some Minimalism.CaseVal.nom

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_imperfective_patient_acc : Minimalism.getCaseOf "patient" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative hindiTransitiveNPs) = some Minimalism.CaseVal.acc

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_imperfective_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.accusative hindiTransitiveNPs).all fun (np : Minimalism.CasedNP) => Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_perfective_agent_erg : Minimalism.getCaseOf "agent" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative hindiTransitiveNPs) = some Minimalism.CaseVal.erg

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_perfective_patient_abs : Minimalism.getCaseOf "patient" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative hindiTransitiveNPs) = some Minimalism.CaseVal.abs

theorem Phenomena.Case.Studies.DependentCaseInventories.hindi_perfective_erg_in_inventory : (Fragments.Hindi.Case.caseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.erg.toCase) = true

In the perfective (ergative alignment), ERG is in the inventory but ABS is not — it is realized as NOM. The agent case (ERG) is correctly predicted; the patient case (ABS → NOM) requires the morphological identity documented in § 4.

Georgian Split-Ergative Derivations

Georgian aorist transitive: "K'ac-ma bavšv-i naxa" (Man-ERG child-NOM saw) — ergative alignment

Georgian present transitive: "K'ac-i bavšv-s xedavs" (Man-NOM child-DAT sees) — accusative-like, with lexical DAT on object

In the present series, the patient receives lexical DAT from the verb, not structural ACC from dependent case.

def Phenomena.Case.Studies.DependentCaseInventories.georgianAoristNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.georgianAoristNPs = [{ label := "agent", lexicalCase := none }, { label := "patient", lexicalCase := none }]

def Phenomena.Case.Studies.DependentCaseInventories.georgianPresentNPs : List Minimalism.NPInDomain

Equations

• Phenomena.Case.Studies.DependentCaseInventories.georgianPresentNPs = [{ label := "agent", lexicalCase := none }, { label := "patient", lexicalCase := some Minimalism.CaseVal.dat }]

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_aorist_agent_erg : Minimalism.getCaseOf "agent" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative georgianAoristNPs) = some Minimalism.CaseVal.erg

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_aorist_patient_abs : Minimalism.getCaseOf "patient" (Minimalism.assignCases Minimalism.CaseLanguageType.ergative georgianAoristNPs) = some Minimalism.CaseVal.abs

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_aorist_erg_in_inventory : (Fragments.Georgian.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == Minimalism.CaseVal.erg.toCase) = true

The agent ERG in the aorist is in Georgian's inventory.

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_present_agent_nom : Minimalism.getCaseOf "agent" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative georgianPresentNPs) = some Minimalism.CaseVal.nom

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_present_patient_dat : Minimalism.getCaseOf "patient" (Minimalism.assignCases Minimalism.CaseLanguageType.accusative georgianPresentNPs) = some Minimalism.CaseVal.dat

theorem Phenomena.Case.Studies.DependentCaseInventories.georgian_present_in_inventory : ((Minimalism.assignCases Minimalism.CaseLanguageType.accusative georgianPresentNPs).all fun (np : Minimalism.CasedNP) => Fragments.Georgian.Agreement.fullCaseInventory.any fun (x : Core.Case) => x == np.case.toCase) = true

In the present series, lexical DAT on the patient bleeds dependent ACC: the agent gets NOM (no case competitor) and the patient gets DAT (lexical from V). Both are in Georgian's inventory.