Korean Modal Inventory

Modal expressions from Korean (Koreanic), based on @cite{qing-uegaki-2025}.

def Fragments.Korean.Modals.napo : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.napo = { form := "-napo-", meaning := [Fragments.Korean.Modals.ne✝] }

def Fragments.Korean.Modals.keyss : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.keyss = { form := "-keyss-", meaning := [Fragments.Korean.Modals.ne✝] }

def Fragments.Korean.Modals.yaHa : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.yaHa = { form := "-ya + ha-", meaning := [Fragments.Korean.Modals.nd✝, Fragments.Korean.Modals.nc✝] }

def Fragments.Korean.Modals.ke : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.ke = { form := "ke-", meaning := [Fragments.Korean.Modals.ne✝] }

def Fragments.Korean.Modals.they : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.they = { form := "they-", meaning := [Fragments.Korean.Modals.ne✝] }

def Fragments.Korean.Modals.yaKeyss : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.yaKeyss = { form := "-ya + keyss-", meaning := [Fragments.Korean.Modals.nd✝] }

def Fragments.Korean.Modals.kesiCoh : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.kesiCoh = { form := "kes.i-coh-", meaning := [Fragments.Korean.Modals.nc✝] }

def Fragments.Korean.Modals.ciMolun : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.ciMolun = { form := "ci(-to) molun-", meaning := [Fragments.Korean.Modals.pe✝] }

def Fragments.Korean.Modals.swuIss : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.swuIss = { form := "swu(-to) iss-", meaning := [Fragments.Korean.Modals.pe✝, Fragments.Korean.Modals.pc✝] }

def Fragments.Korean.Modals.toToy : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Korean.Modals.toToy = { form := "-to + toy-", meaning := [Fragments.Korean.Modals.pd✝, Fragments.Korean.Modals.pc✝] }

def Fragments.Korean.Modals.allExpressions : List Semantics.Modality.Typology.ModalExpression

Equations

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