Spanish Binominal Nouns @cite{saab-2026}

Lexical entries for Spanish nouns appearing in binominal constructions, classified by their structural type.

Noun Classes

• Group nouns (pseudo-partitive): grupo, conjunto, serie
• Quantity nouns (quantificational): montón, pila, cantidad
• Expressive nouns (qualitative): mierda, maravilla, desastre

Each class determines the internal structure of the binominal DP and thereby the availability of NP-ellipsis.

structure Fragments.Spanish.Binominals.BinominalNoun : Type

A Spanish binominal noun entry, with gender encoded via the DM categorizing head on n (@cite{kramer-2015}).

• form : String

  The noun form

• nHead : Morphology.DM.CatHead

  Categorizing head (encodes gender structurally)

• binominalType : Core.Lexical.Binominal.BinominalType

  Binominal class

• gloss : String

  Gloss in English

instance Fragments.Spanish.Binominals.instReprBinominalNoun : Repr BinominalNoun

Equations

• Fragments.Spanish.Binominals.instReprBinominalNoun = { reprPrec := Fragments.Spanish.Binominals.instReprBinominalNoun.repr }

def Fragments.Spanish.Binominals.instReprBinominalNoun.repr : BinominalNoun → ℕ → Std.Format

Equations

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

def Fragments.Spanish.Binominals.grupo : BinominalNoun

Equations

• Fragments.Spanish.Binominals.grupo = { form := "grupo", nHead := Morphology.DM.CatHead.n_plain, binominalType := Core.Lexical.Binominal.BinominalType.pseudoPartitive, gloss := "group" }

def Fragments.Spanish.Binominals.conjunto : BinominalNoun

Equations

• Fragments.Spanish.Binominals.conjunto = { form := "conjunto", nHead := Morphology.DM.CatHead.n_plain, binominalType := Core.Lexical.Binominal.BinominalType.pseudoPartitive, gloss := "set" }

def Fragments.Spanish.Binominals.serie : BinominalNoun

Equations

• Fragments.Spanish.Binominals.serie = { form := "serie", nHead := Morphology.DM.CatHead.n_uFem, binominalType := Core.Lexical.Binominal.BinominalType.pseudoPartitive, gloss := "series" }

def Fragments.Spanish.Binominals.montón : BinominalNoun

Equations

• Fragments.Spanish.Binominals.montón = { form := "montón", nHead := Morphology.DM.CatHead.n_plain, binominalType := Core.Lexical.Binominal.BinominalType.quantificational, gloss := "heap/lot" }

def Fragments.Spanish.Binominals.pila : BinominalNoun

Equations

• Fragments.Spanish.Binominals.pila = { form := "pila", nHead := Morphology.DM.CatHead.n_uFem, binominalType := Core.Lexical.Binominal.BinominalType.quantificational, gloss := "pile" }

def Fragments.Spanish.Binominals.cantidad : BinominalNoun

Equations

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

def Fragments.Spanish.Binominals.mierda : BinominalNoun

Equations

• Fragments.Spanish.Binominals.mierda = { form := "mierda", nHead := Morphology.DM.CatHead.n_uFem, binominalType := Core.Lexical.Binominal.BinominalType.qualitative, gloss := "shit" }

def Fragments.Spanish.Binominals.maravilla : BinominalNoun

Equations

• Fragments.Spanish.Binominals.maravilla = { form := "maravilla", nHead := Morphology.DM.CatHead.n_uFem, binominalType := Core.Lexical.Binominal.BinominalType.qualitative, gloss := "wonder" }

def Fragments.Spanish.Binominals.desastre : BinominalNoun

Equations

• Fragments.Spanish.Binominals.desastre = { form := "desastre", nHead := Morphology.DM.CatHead.n_plain, binominalType := Core.Lexical.Binominal.BinominalType.qualitative, gloss := "disaster" }

def Fragments.Spanish.Binominals.allNouns : List BinominalNoun

All binominal noun entries.

Equations

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

theorem Fragments.Spanish.Binominals.grupo_licenses_npe : grupo.binominalType.licensesNPE = true

Group and quantity nouns license NP-ellipsis; expressive nouns do not.

theorem Fragments.Spanish.Binominals.monton_licenses_npe : montón.binominalType.licensesNPE = true

theorem Fragments.Spanish.Binominals.mierda_blocks_npe : mierda.binominalType.licensesNPE = false

theorem Fragments.Spanish.Binominals.all_nouns_npe_from_type : (allNouns.all fun (n : BinominalNoun) => decide (n.binominalType.licensesNPE = n.binominalType.hasNumE)) = true

Every noun's NPE licensing is determined by its binominal type.