Dutch Binominal Nouns

Lexical entries for Dutch nouns appearing in van-binominal constructions, classified by the shared OfBinominalType taxonomy.

Dutch uses van as the linking element. Like English, Dutch has productive evaluative BNPs (een beer van een man 'a bear of a man') and pseudo-partitives (een glas water / een glas van water).

The Den Dikken (2006) comparative QBNP analysis was originally based on Dutch data.

Examples

• Pseudo-partitive: een glas water 'a glass of water'
• EBNP: een beer van een man 'a bear of a man'
• EBNP: een schat van een kind 'a treasure of a child'

structure Dutch.Binominals.BinominalN₁Entry : Type

A Dutch binominal N₁ noun entry.

• form : String

  Surface form.

• neuter : Bool

  Grammatical gender (de/het). True = neuter (het-word).

• constructions : List Quantification.Binominal.OfBinominalType

  Which van-binominal constructions this noun appears in.

• gloss : String

  English gloss.

def Dutch.Binominals.instReprBinominalN₁Entry.repr : BinominalN₁Entry → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Dutch.Binominals.instReprBinominalN₁Entry : Repr BinominalN₁Entry

Equations

• Dutch.Binominals.instReprBinominalN₁Entry = { reprPrec := Dutch.Binominals.instReprBinominalN₁Entry.repr }

@[implicit_reducible]

instance Dutch.Binominals.instBEqBinominalN₁Entry : BEq BinominalN₁Entry

Equations

• Dutch.Binominals.instBEqBinominalN₁Entry = { beq := Dutch.Binominals.instBEqBinominalN₁Entry.beq }

def Dutch.Binominals.instBEqBinominalN₁Entry.beq : BinominalN₁Entry → BinominalN₁Entry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Dutch.Binominals.instBEqBinominalN₁Entry.beq x✝¹ x✝ = false

def Dutch.Binominals.glas : BinominalN₁Entry

Equations

• Dutch.Binominals.glas = { form := "glas", neuter := true, constructions := [Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "glass" }

def Dutch.Binominals.stuk : BinominalN₁Entry

Equations

• Dutch.Binominals.stuk = { form := "stuk", neuter := true, constructions := [Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "piece" }

def Dutch.Binominals.groep : BinominalN₁Entry

Equations

• Dutch.Binominals.groep = { form := "groep", neuter := false, constructions := [Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "group" }

def Dutch.Binominals.hoop : BinominalN₁Entry

Equations

• Dutch.Binominals.hoop = { form := "hoop", neuter := false, constructions := [Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "heap/lot" }

def Dutch.Binominals.beer : BinominalN₁Entry

Equations

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

def Dutch.Binominals.schat : BinominalN₁Entry

Equations

• Dutch.Binominals.schat = { form := "schat", neuter := false, constructions := [Quantification.Binominal.OfBinominalType.evaluative], gloss := "treasure" }

def Dutch.Binominals.ramp : BinominalN₁Entry

Equations

• Dutch.Binominals.ramp = { form := "ramp", neuter := false, constructions := [Quantification.Binominal.OfBinominalType.evaluative], gloss := "disaster" }

def Dutch.Binominals.allN₁Entries : List BinominalN₁Entry

Equations

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

theorem Dutch.Binominals.beer_n₂_headed : Quantification.Binominal.OfBinominalType.evaluative.head = Quantification.Binominal.BNPHead.n₂

Dutch evaluative BNPs are N₂-headed.