Dutch Noun Lexicon Fragment

@cite{krifka-2004} @cite{chierchia-1998} @cite{le-bruyn-de-swart-2022}

Dutch-specific noun entries with scrambling support. Dutch allows scrambling: objects can move across negation/adverbs, affecting bare plural scope.

Based on @cite{le-bruyn-de-swart-2022}: scrambled BPs take wide scope but can still be kind-referring, supporting @cite{krifka-2004} over @cite{chierchia-1998}.

structure Fragments.Dutch.Nouns.NounEntry : Type

A lexical entry for a Dutch noun.

• formSg : String
• formPl : Option String
• countable : Bool
• proper : Bool
• formDim : Option String

instance Fragments.Dutch.Nouns.instReprNounEntry : Repr NounEntry

Equations

• Fragments.Dutch.Nouns.instReprNounEntry = { reprPrec := Fragments.Dutch.Nouns.instReprNounEntry.repr }

def Fragments.Dutch.Nouns.instReprNounEntry.repr : NounEntry → ℕ → Std.Format

Equations

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

instance Fragments.Dutch.Nouns.instBEqNounEntry : BEq NounEntry

Equations

• Fragments.Dutch.Nouns.instBEqNounEntry = { beq := Fragments.Dutch.Nouns.instBEqNounEntry.beq }

def Fragments.Dutch.Nouns.instBEqNounEntry.beq : NounEntry → NounEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Dutch.Nouns.instBEqNounEntry.beq x✝¹ x✝ = false

inductive Fragments.Dutch.Nouns.NPNumber : Type

Number marking on a Dutch NP.

• sg : NPNumber
• pl : NPNumber
• mass : NPNumber

instance Fragments.Dutch.Nouns.instDecidableEqNPNumber : DecidableEq NPNumber

Equations

• Fragments.Dutch.Nouns.instDecidableEqNPNumber x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Fragments.Dutch.Nouns.instReprNPNumber.repr : NPNumber → ℕ → Std.Format

Equations

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

instance Fragments.Dutch.Nouns.instReprNPNumber : Repr NPNumber

Equations

• Fragments.Dutch.Nouns.instReprNPNumber = { reprPrec := Fragments.Dutch.Nouns.instReprNPNumber.repr }

def Fragments.Dutch.Nouns.instBEqNPNumber.beq : NPNumber → NPNumber → Bool

Equations

• Fragments.Dutch.Nouns.instBEqNPNumber.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Fragments.Dutch.Nouns.instBEqNPNumber : BEq NPNumber

Equations

• Fragments.Dutch.Nouns.instBEqNPNumber = { beq := Fragments.Dutch.Nouns.instBEqNPNumber.beq }

inductive Fragments.Dutch.Nouns.ScramblingPosition : Type

Scrambling position in the Dutch middle field.

• unscrambled : ScramblingPosition
• scrambled : ScramblingPosition

instance Fragments.Dutch.Nouns.instDecidableEqScramblingPosition : DecidableEq ScramblingPosition

Equations

• Fragments.Dutch.Nouns.instDecidableEqScramblingPosition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Fragments.Dutch.Nouns.instReprScramblingPosition : Repr ScramblingPosition

Equations

• Fragments.Dutch.Nouns.instReprScramblingPosition = { reprPrec := Fragments.Dutch.Nouns.instReprScramblingPosition.repr }

def Fragments.Dutch.Nouns.instReprScramblingPosition.repr : ScramblingPosition → ℕ → Std.Format

Equations

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

def Fragments.Dutch.Nouns.instBEqScramblingPosition.beq : ScramblingPosition → ScramblingPosition → Bool

Equations

• Fragments.Dutch.Nouns.instBEqScramblingPosition.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Fragments.Dutch.Nouns.instBEqScramblingPosition : BEq ScramblingPosition

Equations

• Fragments.Dutch.Nouns.instBEqScramblingPosition = { beq := Fragments.Dutch.Nouns.instBEqScramblingPosition.beq }

structure Fragments.Dutch.Nouns.NP : Type

A Dutch noun phrase with scrambling information.

• noun : NounEntry
• number : NPNumber
• isBare : Bool
• determiner : Option String
• position : Option ScramblingPosition

instance Fragments.Dutch.Nouns.instReprNP : Repr NP

Equations

• Fragments.Dutch.Nouns.instReprNP = { reprPrec := Fragments.Dutch.Nouns.instReprNP.repr }

def Fragments.Dutch.Nouns.instReprNP.repr : NP → ℕ → Std.Format

Equations

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

def Fragments.Dutch.Nouns.instBEqNP.beq : NP → NP → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Dutch.Nouns.instBEqNP.beq x✝¹ x✝ = false

instance Fragments.Dutch.Nouns.instBEqNP : BEq NP

Equations

• Fragments.Dutch.Nouns.instBEqNP = { beq := Fragments.Dutch.Nouns.instBEqNP.beq }

def Fragments.Dutch.Nouns.NP.isBarePlural (np : NP) : Bool

Equations

• np.isBarePlural = (np.isBare && np.number == Fragments.Dutch.Nouns.NPNumber.pl)

def Fragments.Dutch.Nouns.NP.isScrambled (np : NP) : Bool

Equations

• np.isScrambled = (np.position == some Fragments.Dutch.Nouns.ScramblingPosition.scrambled)

def Fragments.Dutch.Nouns.NP.isBareMass (np : NP) : Bool

Equations

• np.isBareMass = (np.isBare && np.number == Fragments.Dutch.Nouns.NPNumber.mass)

def Fragments.Dutch.Nouns.NP.isBareSingular (np : NP) : Bool

Equations

• np.isBareSingular = (np.isBare && np.number == Fragments.Dutch.Nouns.NPNumber.sg)

def Fragments.Dutch.Nouns.barePlural (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.barePlural n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.pl, isBare := true }

def Fragments.Dutch.Nouns.barePluralScrambled (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.barePluralScrambled n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.pl, isBare := true, position := some Fragments.Dutch.Nouns.ScramblingPosition.scrambled }

def Fragments.Dutch.Nouns.barePluralUnscrambled (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.barePluralUnscrambled n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.pl, isBare := true, position := some Fragments.Dutch.Nouns.ScramblingPosition.unscrambled }

def Fragments.Dutch.Nouns.bareMass (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.bareMass n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.mass, isBare := true }

def Fragments.Dutch.Nouns.bareSingular (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.bareSingular n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.sg, isBare := true }

def Fragments.Dutch.Nouns.definiteNP (n : NounEntry) (det : String := "de") (num : NPNumber := NPNumber.sg) : NP

Equations

• Fragments.Dutch.Nouns.definiteNP n det num = { noun := n, number := num, isBare := false, determiner := some det }

def Fragments.Dutch.Nouns.eenNP (n : NounEntry) : NP

Equations

• Fragments.Dutch.Nouns.eenNP n = { noun := n, number := Fragments.Dutch.Nouns.NPNumber.sg, isBare := false, determiner := some "een" }

def Fragments.Dutch.Nouns.dutchBlocking : Semantics.Lexical.Noun.Kind.Chierchia1998.BlockingPrinciple

Dutch blocking: articles block covert type shifts, bare singulars cannot occur.

Equations

• Fragments.Dutch.Nouns.dutchBlocking = { determiners := ["de", "het", "een", "alle", "geen", "sommige"], iotaBlocked := true, existsBlocked := true, downBlocked := false }

def Fragments.Dutch.Nouns.barePluralScope (np : NP) : String

BP scope: unscrambled = narrow, scrambled = wide.

Equations

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

def Fragments.Dutch.Nouns.boek : NounEntry

Equations

• Fragments.Dutch.Nouns.boek = { formSg := "boek", formPl := some "boeken", formDim := some "boekje" }

def Fragments.Dutch.Nouns.mens : NounEntry

Equations

• Fragments.Dutch.Nouns.mens = { formSg := "mens", formPl := some "mensen" }

def Fragments.Dutch.Nouns.geest : NounEntry

Equations

• Fragments.Dutch.Nouns.geest = { formSg := "geest", formPl := some "geesten" }

def Fragments.Dutch.Nouns.student : NounEntry

Equations

• Fragments.Dutch.Nouns.student = { formSg := "student", formPl := some "studenten" }

def Fragments.Dutch.Nouns.hond : NounEntry

Equations

• Fragments.Dutch.Nouns.hond = { formSg := "hond", formPl := some "honden", formDim := some "hondje" }

def Fragments.Dutch.Nouns.kat : NounEntry

Equations

• Fragments.Dutch.Nouns.kat = { formSg := "kat", formPl := some "katten", formDim := some "katje" }

def Fragments.Dutch.Nouns.film : NounEntry

Equations

• Fragments.Dutch.Nouns.film = { formSg := "film", formPl := some "films", formDim := some "filmpje" }

def Fragments.Dutch.Nouns.water : NounEntry

Equations

• Fragments.Dutch.Nouns.water = { formSg := "water", countable := false }

def Fragments.Dutch.Nouns.goud : NounEntry

Equations

• Fragments.Dutch.Nouns.goud = { formSg := "goud", countable := false }

def Fragments.Dutch.Nouns.meel : NounEntry

Equations

• Fragments.Dutch.Nouns.meel = { formSg := "meel", countable := false }

def Fragments.Dutch.Nouns.helen : NounEntry

Equations

• Fragments.Dutch.Nouns.helen = { formSg := "Helen", proper := true }

def Fragments.Dutch.Nouns.jan : NounEntry

Equations

• Fragments.Dutch.Nouns.jan = { formSg := "Jan", proper := true }

def Fragments.Dutch.Nouns.piet : NounEntry

Equations

• Fragments.Dutch.Nouns.piet = { formSg := "Piet", proper := true }

def Fragments.Dutch.Nouns.marie : NounEntry

Equations

• Fragments.Dutch.Nouns.marie = { formSg := "Marie", proper := true }

def Fragments.Dutch.Nouns.allNouns : List NounEntry

Equations

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

def Fragments.Dutch.Nouns.lookup (form : String) : Option NounEntry

Equations

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

def Fragments.Dutch.Nouns.barePluralLicensed : Bool

Equations

• Fragments.Dutch.Nouns.barePluralLicensed = !Fragments.Dutch.Nouns.dutchBlocking.downBlocked

def Fragments.Dutch.Nouns.bareMassLicensed : Bool

Equations

• Fragments.Dutch.Nouns.bareMassLicensed = !Fragments.Dutch.Nouns.dutchBlocking.downBlocked

def Fragments.Dutch.Nouns.bareSingularLicensed : Bool

Equations

• Fragments.Dutch.Nouns.bareSingularLicensed = (!Fragments.Dutch.Nouns.dutchBlocking.iotaBlocked || !Fragments.Dutch.Nouns.dutchBlocking.existsBlocked)

def Fragments.Dutch.Nouns.boekenScrambled : NP

Equations

• Fragments.Dutch.Nouns.boekenScrambled = Fragments.Dutch.Nouns.barePluralScrambled Fragments.Dutch.Nouns.boek

def Fragments.Dutch.Nouns.boekenUnscrambled : NP

Equations

• Fragments.Dutch.Nouns.boekenUnscrambled = Fragments.Dutch.Nouns.barePluralUnscrambled Fragments.Dutch.Nouns.boek

def Fragments.Dutch.Nouns.mensenScrambled : NP

Equations

• Fragments.Dutch.Nouns.mensenScrambled = Fragments.Dutch.Nouns.barePluralScrambled Fragments.Dutch.Nouns.mens

def Fragments.Dutch.Nouns.geestenUnscrambled : NP

Equations

• Fragments.Dutch.Nouns.geestenUnscrambled = Fragments.Dutch.Nouns.barePluralUnscrambled Fragments.Dutch.Nouns.geest