Spanish Noun Gender @cite{kramer-2015}

Gender assignments for Spanish nouns, typed by the DM categorizing head (n) that each noun merges with (@cite{kramer-2015} Ch 6).

Spanish is a Set 1 language: the four n-types in the [±FEM] dimension are

• n i[+FEM]: natural feminine (female referents)
• n i[−FEM]: natural masculine (male referents)
• n u[+FEM]: arbitrary feminine (no semantic motivation)
• plain n: default (masculine by VI)

structure Fragments.Spanish.Gender.SpanishNoun : Type

A Spanish noun annotated with its categorizing head, enabling gender derivation from the structural approach.

• form : String
• gloss : String
• nHead : Morphology.DM.CatHead

def Fragments.Spanish.Gender.instReprSpanishNoun.repr : SpanishNoun → ℕ → Std.Format

Equations

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

instance Fragments.Spanish.Gender.instReprSpanishNoun : Repr SpanishNoun

Equations

• Fragments.Spanish.Gender.instReprSpanishNoun = { reprPrec := Fragments.Spanish.Gender.instReprSpanishNoun.repr }

def Fragments.Spanish.Gender.hombre : SpanishNoun

Equations

• Fragments.Spanish.Gender.hombre = { form := "hombre", gloss := "man", nHead := Morphology.DM.CatHead.n_iMasc }

def Fragments.Spanish.Gender.mujer : SpanishNoun

Equations

• Fragments.Spanish.Gender.mujer = { form := "mujer", gloss := "woman", nHead := Morphology.DM.CatHead.n_iFem }

def Fragments.Spanish.Gender.niño : SpanishNoun

Equations

• Fragments.Spanish.Gender.niño = { form := "niño", gloss := "boy", nHead := Morphology.DM.CatHead.n_iMasc }

def Fragments.Spanish.Gender.niña : SpanishNoun

Equations

• Fragments.Spanish.Gender.niña = { form := "niña", gloss := "girl", nHead := Morphology.DM.CatHead.n_iFem }

def Fragments.Spanish.Gender.rey : SpanishNoun

Equations

• Fragments.Spanish.Gender.rey = { form := "rey", gloss := "king", nHead := Morphology.DM.CatHead.n_iMasc }

def Fragments.Spanish.Gender.reina : SpanishNoun

Equations

• Fragments.Spanish.Gender.reina = { form := "reina", gloss := "queen", nHead := Morphology.DM.CatHead.n_iFem }

def Fragments.Spanish.Gender.gato : SpanishNoun

Equations

• Fragments.Spanish.Gender.gato = { form := "gato", gloss := "cat.M", nHead := Morphology.DM.CatHead.n_iMasc }

def Fragments.Spanish.Gender.gata : SpanishNoun

Equations

• Fragments.Spanish.Gender.gata = { form := "gata", gloss := "cat.F", nHead := Morphology.DM.CatHead.n_iFem }

def Fragments.Spanish.Gender.mesa : SpanishNoun

Equations

• Fragments.Spanish.Gender.mesa = { form := "mesa", gloss := "table", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.silla : SpanishNoun

Equations

• Fragments.Spanish.Gender.silla = { form := "silla", gloss := "chair", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.casa : SpanishNoun

Equations

• Fragments.Spanish.Gender.casa = { form := "casa", gloss := "house", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.puerta : SpanishNoun

Equations

• Fragments.Spanish.Gender.puerta = { form := "puerta", gloss := "door", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.ventana : SpanishNoun

Equations

• Fragments.Spanish.Gender.ventana = { form := "ventana", gloss := "window", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.cama : SpanishNoun

Equations

• Fragments.Spanish.Gender.cama = { form := "cama", gloss := "bed", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.persona : SpanishNoun

Equations

• Fragments.Spanish.Gender.persona = { form := "persona", gloss := "person", nHead := Morphology.DM.CatHead.n_uFem }

def Fragments.Spanish.Gender.libro : SpanishNoun

Equations

• Fragments.Spanish.Gender.libro = { form := "libro", gloss := "book", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.zapato : SpanishNoun

Equations

• Fragments.Spanish.Gender.zapato = { form := "zapato", gloss := "shoe", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.coche : SpanishNoun

Equations

• Fragments.Spanish.Gender.coche = { form := "coche", gloss := "car", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.árbol : SpanishNoun

Equations

• Fragments.Spanish.Gender.árbol = { form := "árbol", gloss := "tree", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.cielo : SpanishNoun

Equations

• Fragments.Spanish.Gender.cielo = { form := "cielo", gloss := "sky", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.vaso : SpanishNoun

Equations

• Fragments.Spanish.Gender.vaso = { form := "vaso", gloss := "glass", nHead := Morphology.DM.CatHead.n_plain }

def Fragments.Spanish.Gender.ángel : SpanishNoun

Equations

• Fragments.Spanish.Gender.ángel = { form := "ángel", gloss := "angel", nHead := Morphology.DM.CatHead.n_plain }

structure Fragments.Spanish.Gender.SameRootEntry : Type

Same-root nominals: a single root that merges with either i[+FEM] or i[−FEM] depending on the referent's sex.

• form : String
• gloss : String
• mascHead : Morphology.DM.CatHead
• femHead : Morphology.DM.CatHead

instance Fragments.Spanish.Gender.instReprSameRootEntry : Repr SameRootEntry

Equations

• Fragments.Spanish.Gender.instReprSameRootEntry = { reprPrec := Fragments.Spanish.Gender.instReprSameRootEntry.repr }

def Fragments.Spanish.Gender.instReprSameRootEntry.repr : SameRootEntry → ℕ → Std.Format

Equations

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

def Fragments.Spanish.Gender.SameRootEntry.possibleNHeads (e : SameRootEntry) : List Morphology.DM.CatHead

The possible n heads for a same-root entry (always two: masc and fem).

Equations

• e.possibleNHeads = [e.femHead, e.mascHead]

def Fragments.Spanish.Gender.soldado : SameRootEntry

Equations

• Fragments.Spanish.Gender.soldado = { form := "soldado", gloss := "soldier" }

def Fragments.Spanish.Gender.estudiante : SameRootEntry

Equations

• Fragments.Spanish.Gender.estudiante = { form := "estudiante", gloss := "student" }

def Fragments.Spanish.Gender.artista : SameRootEntry

Equations

• Fragments.Spanish.Gender.artista = { form := "artista", gloss := "artist" }

def Fragments.Spanish.Gender.naturalFemNouns : List SpanishNoun

Equations

• Fragments.Spanish.Gender.naturalFemNouns = [Fragments.Spanish.Gender.mujer, Fragments.Spanish.Gender.niña, Fragments.Spanish.Gender.reina, Fragments.Spanish.Gender.gata]

def Fragments.Spanish.Gender.naturalMascNouns : List SpanishNoun

Equations

• Fragments.Spanish.Gender.naturalMascNouns = [Fragments.Spanish.Gender.hombre, Fragments.Spanish.Gender.niño, Fragments.Spanish.Gender.rey, Fragments.Spanish.Gender.gato]

def Fragments.Spanish.Gender.arbitraryFemNouns : List SpanishNoun

Equations

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

def Fragments.Spanish.Gender.defaultMascNouns : List SpanishNoun

Equations

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

def Fragments.Spanish.Gender.allNouns : List SpanishNoun

Equations

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

def Fragments.Spanish.Gender.sameRootNouns : List SameRootEntry

Equations

• Fragments.Spanish.Gender.sameRootNouns = [Fragments.Spanish.Gender.soldado, Fragments.Spanish.Gender.estudiante, Fragments.Spanish.Gender.artista]

theorem Fragments.Spanish.Gender.naturalFem_all_iFem : (naturalFemNouns.all fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_iFem) = true

theorem Fragments.Spanish.Gender.naturalMasc_all_iMasc : (naturalMascNouns.all fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_iMasc) = true

theorem Fragments.Spanish.Gender.arbitraryFem_all_uFem : (arbitraryFemNouns.all fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_uFem) = true

theorem Fragments.Spanish.Gender.defaultMasc_all_plain : (defaultMascNouns.all fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_plain) = true

theorem Fragments.Spanish.Gender.persona_arbitrary_fem : persona.nHead.phi.gender = some { interp := Morphology.DM.Interpretability.u, val := { dim := Morphology.DM.GenderDimension.fem, pol := Morphology.DM.Polarity.pos } }

persona 'person' is always feminine regardless of referent's sex: the gender is arbitrary (u[+FEM]), not interpretable.

theorem Fragments.Spanish.Gender.ángel_default_masc : ángel.nHead.phi.gender = none

ángel 'angel' is always masculine (plain n, default gender).

theorem Fragments.Spanish.Gender.four_n_types_covered : (allNouns.any fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_iFem) = true ∧ (allNouns.any fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_iMasc) = true ∧ (allNouns.any fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_uFem) = true ∧ (allNouns.any fun (x : SpanishNoun) => x.nHead == Morphology.DM.CatHead.n_plain) = true

All four n-types are represented in the inventory.