Dutch Modal Inventory

Modal expressions from Dutch (Indo-European), based on @cite{qing-uegaki-2025}.

Dutch has one non-IFF modal: zou/zouden...kunnen expresses {(nec,e),(poss,e),(poss,c)} which is not Cartesian-closed.

def Fragments.Dutch.Modals.zal : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.zal = { form := "zal", meaning := [Fragments.Dutch.Modals.ne✝] }

def Fragments.Dutch.Modals.moetMoeten : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.moetMoeten = { form := "moet/moeten", meaning := [Fragments.Dutch.Modals.ne✝, Fragments.Dutch.Modals.nd✝, Fragments.Dutch.Modals.nc✝] }

def Fragments.Dutch.Modals.zouMoeten : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.zouMoeten = { form := "zou/zouden...moeten", meaning := [Fragments.Dutch.Modals.nd✝, Fragments.Dutch.Modals.nc✝] }

def Fragments.Dutch.Modals.kanKunnen : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.kanKunnen = { form := "kan/kunnen", meaning := [Fragments.Dutch.Modals.pc✝] }

def Fragments.Dutch.Modals.zouKunnen : Semantics.Modality.Typology.ModalExpression

NOT IFF: {(nec,e),(poss,e),(poss,c)} missing (nec,c).

Equations

• Fragments.Dutch.Modals.zouKunnen = { form := "zou/zouden...kunnen", meaning := [Fragments.Dutch.Modals.ne✝, Fragments.Dutch.Modals.pe✝, Fragments.Dutch.Modals.pc✝] }

def Fragments.Dutch.Modals.waarschijnlijk : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.waarschijnlijk = { form := "waarschijnlijk", meaning := [Fragments.Dutch.Modals.ne✝, Fragments.Dutch.Modals.pe✝] }

def Fragments.Dutch.Modals.zalWaarschijnlijk : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.zalWaarschijnlijk = { form := "zal/zouden waarschijnlijk", meaning := [Fragments.Dutch.Modals.ne✝] }

def Fragments.Dutch.Modals.moetEigenlijk : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.moetEigenlijk = { form := "moet/moeten eigenlijk", meaning := [Fragments.Dutch.Modals.nd✝] }

def Fragments.Dutch.Modals.misschien : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.misschien = { form := "misschien", meaning := [Fragments.Dutch.Modals.pe✝] }

def Fragments.Dutch.Modals.magMogen : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Dutch.Modals.magMogen = { form := "mag/mogen", meaning := [Fragments.Dutch.Modals.pd✝] }

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

Equations

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