Italian nouns

The Italian noun as a lexical entry is the root GenderedNoun over the masculine and feminine genders, which a numeral counts directly or not at all, with its plural; names are the root ProperName. Italian nouns need a determiner (Italian.Determiners.inventory) to be arguments, as Chierchia observes; the definite plural denotes a kind and the bare plural, where licensed, a property (Studies/Guerrini2026.lean). The plurals in -a that change gender are Italian.NumberGender.

References

• [Chi98]

structure Italian.Nouns.Nounextends GenderedNoun Gender, ClassifiedNoun Empty : Type

An Italian noun is the root gendered entry, which a numeral counts directly or not at all, with its plural.

• form : String
• gloss : String
• gender : Gender
• naturalGender : Option Gender
• counters : Finset (Option Empty)
• plural : Option String

  The plural.

@[instance_reducible]

instance Italian.Nouns.instDecidableEqNoun : DecidableEq Noun

Equations

• Italian.Nouns.instDecidableEqNoun = Italian.Nouns.instDecidableEqNoun.decEq

def Italian.Nouns.instDecidableEqNoun.decEq (x✝ x✝¹ : Noun) : Decidable (x✝ = x✝¹)

Equations

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

Count nouns

def Italian.Nouns.libro : Noun

Equations

• Italian.Nouns.libro = { form := "libro", gloss := "book", gender := Gender.masculine, plural := some "libri" }

def Italian.Nouns.ragazzo : Noun

Equations

• Italian.Nouns.ragazzo = { form := "ragazzo", gloss := "boy", gender := Gender.masculine, naturalGender := some Gender.masculine, plural := some "ragazzi" }

def Italian.Nouns.uomo : Noun

Equations

• Italian.Nouns.uomo = { form := "uomo", gloss := "man", gender := Gender.masculine, naturalGender := some Gender.masculine, plural := some "uomini" }

def Italian.Nouns.gatto : Noun

Equations

• Italian.Nouns.gatto = { form := "gatto", gloss := "cat", gender := Gender.masculine, plural := some "gatti" }

def Italian.Nouns.cane : Noun

Equations

• Italian.Nouns.cane = { form := "cane", gloss := "dog", gender := Gender.masculine, plural := some "cani" }

def Italian.Nouns.tavolo : Noun

Equations

• Italian.Nouns.tavolo = { form := "tavolo", gloss := "table", gender := Gender.masculine, plural := some "tavoli" }

def Italian.Nouns.ragazza : Noun

Equations

• Italian.Nouns.ragazza = { form := "ragazza", gloss := "girl", gender := Gender.feminine, naturalGender := some Gender.feminine, plural := some "ragazze" }

def Italian.Nouns.donna : Noun

Equations

• Italian.Nouns.donna = { form := "donna", gloss := "woman", gender := Gender.feminine, naturalGender := some Gender.feminine, plural := some "donne" }

def Italian.Nouns.casa : Noun

Equations

• Italian.Nouns.casa = { form := "casa", gloss := "house", gender := Gender.feminine, plural := some "case" }

Mass nouns

def Italian.Nouns.acqua : Noun

Equations

• Italian.Nouns.acqua = { form := "acqua", gloss := "water", gender := Gender.feminine, counters := ∅ }

def Italian.Nouns.vino : Noun

Equations

• Italian.Nouns.vino = { form := "vino", gloss := "wine", gender := Gender.masculine, counters := ∅ }

def Italian.Nouns.pane : Noun

Equations

• Italian.Nouns.pane = { form := "pane", gloss := "bread", gender := Gender.masculine, counters := ∅ }

def Italian.Nouns.latte : Noun

Equations

• Italian.Nouns.latte = { form := "latte", gloss := "milk", gender := Gender.masculine, counters := ∅ }

Proper names

def Italian.Nouns.name (form : String) (gender : Gender) : ProperName

A personal name with its natural gender.

Equations

• Italian.Nouns.name form gender = { form := form, gloss := form, gender := some gender }

def Italian.Nouns.paolo : ProperName

Equations

• Italian.Nouns.paolo = Italian.Nouns.name "Paolo" Gender.masculine

def Italian.Nouns.maria : ProperName

Equations

• Italian.Nouns.maria = Italian.Nouns.name "Maria" Gender.feminine