Spanish binominal nouns

Spanish binominals join a first noun to a second by de, and fall into three types by the class of the first noun. A group noun heads a pseudo-partitive, un grupo de estudiantes 'a group of students'; a quantity noun heads a quantificational binominal, un montón de estudiantes 'a lot of students'; and an expressive noun heads a qualitative binominal, in which it evaluates the referent of the second noun, una mierda de departamento 'a shit of an apartment'. Group and quantity nouns also have a descriptive reading in which they head the phrase, as una pila de libros is 'a pile of books' beside 'a lot of books'. Bocha and pila are the Rioplatense quantity nouns ([Saa26]).

Main definitions

• Spanish.Binominals.BinominalType — the three types
• Spanish.Binominals.BinominalNoun — a noun with the type of binominal it heads

References

• [Saa26]

inductive Spanish.Binominals.BinominalType : Type

The types of binominal, by the class of the first noun.

• pseudoPartitive : BinominalType

  A group noun and the set it groups.

• quantificational : BinominalType

  A quantity noun and what it quantifies.

• qualitative : BinominalType

  An expressive noun and what it evaluates.

@[instance_reducible]

instance Spanish.Binominals.instDecidableEqBinominalType : DecidableEq BinominalType

Equations

• Spanish.Binominals.instDecidableEqBinominalType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Spanish.Binominals.instReprBinominalType : Repr BinominalType

Equations

• Spanish.Binominals.instReprBinominalType = { reprPrec := Spanish.Binominals.instReprBinominalType.repr }

def Spanish.Binominals.instReprBinominalType.repr : BinominalType → ℕ → Std.Format

Equations

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

structure Spanish.Binominals.BinominalNounextends GenderedNoun Spanish.Gender.Value : Type

A noun with its gender and the type of binominal it heads.

• form : String
• gloss : String
• gender : Spanish.Gender.Value
• naturalGender : Option Gender
• binominalType : BinominalType

def Spanish.Binominals.grupo : BinominalNoun

grupo 'group'.

Equations

• Spanish.Binominals.grupo = { form := "grupo", gloss := "group", gender := Spanish.Gender.Value.masc, binominalType := Spanish.Binominals.BinominalType.pseudoPartitive }

def Spanish.Binominals.parte : BinominalNoun

parte 'part'.

Equations

• Spanish.Binominals.parte = { form := "parte", gloss := "part", gender := Spanish.Gender.Value.fem, binominalType := Spanish.Binominals.BinominalType.pseudoPartitive }

def Spanish.Binominals.mayoría : BinominalNoun

mayoría 'most'.

Equations

• Spanish.Binominals.mayoría = { form := "mayoría", gloss := "most", gender := Spanish.Gender.Value.fem, binominalType := Spanish.Binominals.BinominalType.pseudoPartitive }

def Spanish.Binominals.montón : BinominalNoun

montón 'lot'.

Equations

• Spanish.Binominals.montón = { form := "montón", gloss := "lot", gender := Spanish.Gender.Value.masc, binominalType := Spanish.Binominals.BinominalType.quantificational }

def Spanish.Binominals.pila : BinominalNoun

pila 'pile', Rioplatense.

Equations

• Spanish.Binominals.pila = { form := "pila", gloss := "pile", gender := Spanish.Gender.Value.fem, binominalType := Spanish.Binominals.BinominalType.quantificational }

def Spanish.Binominals.bocha : BinominalNoun

bocha 'ball', Rioplatense.

Equations

• Spanish.Binominals.bocha = { form := "bocha", gloss := "ball", gender := Spanish.Gender.Value.fem, binominalType := Spanish.Binominals.BinominalType.quantificational }

def Spanish.Binominals.mierda : BinominalNoun

mierda 'shit'.

Equations

• Spanish.Binominals.mierda = { form := "mierda", gloss := "shit", gender := Spanish.Gender.Value.fem, binominalType := Spanish.Binominals.BinominalType.qualitative }

def Spanish.Binominals.allNouns : List BinominalNoun

The binominal nouns.

Equations

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

def Spanish.Binominals.lookup (form : String) : Option BinominalNoun

The entry with a given form.

Equations

• Spanish.Binominals.lookup form = List.find? (fun (x : Spanish.Binominals.BinominalNoun) => x.form == form) Spanish.Binominals.allNouns