Chuj Modal Indefinite Fragment

[AOR21] [AOR24]

Lexical entries for Chuj modal indefinites yalnhej (singular) and komon (mass/plural), following [AOR24].

Connection to VerbBuilding.lean

The Chuj voice system ([Coo19], formalized in VerbBuilding.lean) determines whether a yalnhej DP is in external or internal argument position, which in turn constrains the available modal flavor:

• vØ (active transitive): agent = external → epistemic only
• v_ch (passive): theme promoted, agent implicit → both flavors available
• v_w (agentive intransitive): agent = external → epistemic only
• v_j (agentless passive): no agent → internal argument → both flavors

This connection is proved in Studies/AlonsoOvalleRoyer2024.lean.

def Chuj.ModalIndefinites.yalnhejEntry : Features.ModalIndefinite.ModalIndefiniteEntry

yalnhej: singular modal indefinite. At-issue, epistemic + random choice, not upper-bounded.

Equations

• One or more equations did not get rendered due to their size.

def Chuj.ModalIndefinites.komonEntry : Features.ModalIndefinite.ModalIndefiniteEntry

komon: mass/plural modal modifier. At-issue, random choice only, not upper-bounded.

Equations

• One or more equations did not get rendered due to their size.

def Chuj.ModalIndefinites.paradigm : List Features.ModalIndefinite.ModalIndefiniteEntry

The Chuj modal indefinite paradigm.

Equations

• Chuj.ModalIndefinites.paradigm = [Chuj.ModalIndefinites.yalnhejEntry, Chuj.ModalIndefinites.komonEntry]

theorem Chuj.ModalIndefinites.yalnhej_komon_flavor_difference : yalnhejEntry.hasFlavor Semantics.Modality.ModalFlavor.epistemic ∧ ¬komonEntry.hasFlavor Semantics.Modality.ModalFlavor.epistemic

yalnhej and komon differ in flavor inventory: yalnhej has epistemic + RC, komon has RC only.