Italian Binominal Nouns

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

Italian binominals use di as the linking element and follow the same structural patterns as other Romance languages. The EBNP construction (quell'idiota di un dottore) is attested in Italian and may represent the Latin source for both French and English evaluative BNPs.

Examples

• N+PP: la bestia del campo 'the beast of the field'
• Head-classifier: una torta di segale 'a cake of rye'
• Pseudo-partitive: un bicchiere d'acqua 'a glass of water'
• EBNP: quell'idiota di un dottore 'that idiot of a doctor'

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

An Italian binominal N₁ noun entry.

• form : String

  Surface form.

• feminine : Bool

  Grammatical gender (true = feminine).

• constructions : List Semantics.Quantification.Binominal.OfBinominalType

  Which di-binominal constructions this noun appears in.

• gloss : String

  English gloss.

@[implicit_reducible]

instance Fragments.Italian.Binominals.instReprBinominalN₁Entry : Repr BinominalN₁Entry

Equations

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

def Fragments.Italian.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.Italian.Binominals.instBEqBinominalN₁Entry : BEq BinominalN₁Entry

Equations

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

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

Equations

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

def Fragments.Italian.Binominals.bicchiere : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.pezzo : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.gruppo : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.mucchio : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.idiota : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.mostro : BinominalN₁Entry

Equations

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

def Fragments.Italian.Binominals.tesoro : BinominalN₁Entry

Equations

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

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

Equations

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

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

Italian pseudo-partitives are N₂-headed, like all Romance pseudo-partitives.