French Binominal Nouns @cite{ten-wolde-2023}

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

French has all six of-binominal types, using de as the linking element. The evaluative BNP may have entered English from French or Latin (@cite{ten-wolde-2023}).

Examples

• N+PP: la bête du champ 'the beast of the field'
• Head-classifier: un gâteau de seigle 'a cake of rye'
• Pseudo-partitive: un verre d'eau 'a glass of water'
• EBNP: cet idiot de médecin 'that idiot of a doctor'
• EM: un sacré de boulot 'a hell of a job' (informal)

structure Fragments.French.Binominals.BinominalN₁Entry : Type

A French binominal N₁ noun entry.

• form : String

  Surface form.

• feminine : Bool

  Grammatical gender (true = feminine).

• constructions : List Semantics.Quantification.Binominal.OfBinominalType

  Which de-binominal constructions this noun appears in.

• gloss : String

  English gloss.

def Fragments.French.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 Fragments.French.Binominals.instReprBinominalN₁Entry : Repr BinominalN₁Entry

Equations

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

def Fragments.French.Binominals.instBEqBinominalN₁Entry.beq : BinominalN₁Entry → BinominalN₁Entry → Bool

Equations

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

@[implicit_reducible]

instance Fragments.French.Binominals.instBEqBinominalN₁Entry : BEq BinominalN₁Entry

Equations

• Fragments.French.Binominals.instBEqBinominalN₁Entry = { beq := Fragments.French.Binominals.instBEqBinominalN₁Entry.beq }

def Fragments.French.Binominals.verre : BinominalN₁Entry

Equations

• Fragments.French.Binominals.verre = { form := "verre", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "glass" }

def Fragments.French.Binominals.morceau : BinominalN₁Entry

Equations

• Fragments.French.Binominals.morceau = { form := "morceau", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "piece" }

def Fragments.French.Binominals.tas : BinominalN₁Entry

Equations

• Fragments.French.Binominals.tas = { form := "tas", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "heap/lot" }

def Fragments.French.Binominals.groupe : BinominalN₁Entry

Equations

• Fragments.French.Binominals.groupe = { form := "groupe", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.pseudoPartitive], gloss := "group" }

def Fragments.French.Binominals.idiot : BinominalN₁Entry

Equations

• Fragments.French.Binominals.idiot = { form := "idiot", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.evaluative], gloss := "idiot" }

def Fragments.French.Binominals.imbécile : BinominalN₁Entry

Equations

• Fragments.French.Binominals.imbécile = { form := "imbécile", feminine := false, constructions := [Semantics.Quantification.Binominal.OfBinominalType.evaluative], gloss := "imbecile" }

def Fragments.French.Binominals.monstre : BinominalN₁Entry

Equations

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

def Fragments.French.Binominals.allN₁Entries : List BinominalN₁Entry

Equations

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

theorem Fragments.French.Binominals.verre_n₂_headed : Semantics.Quantification.Binominal.OfBinominalType.pseudoPartitive.head = Semantics.Quantification.Binominal.BNPHead.n₂

French pseudo-partitives are N₂-headed.

theorem Fragments.French.Binominals.idiot_n₂_headed : Semantics.Quantification.Binominal.OfBinominalType.evaluative.head = Semantics.Quantification.Binominal.BNPHead.n₂

French evaluative BNPs are N₂-headed.