French nouns

The French 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. A French noun needs a determiner (French.Determiners.inventory) to be an argument, so no bare nominal is one, as Chierchia observes.

References

• [Chi98]

structure French.Nouns.Nounextends GenderedNoun French.Gender.Value, ClassifiedNoun Empty : Type

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

• form : String
• gloss : String
• gender : French.Gender.Value
• referentGender : Option ReferentGender
• counters : Finset (Option Empty)
• plural : Option String

  The plural.

@[instance_reducible]

instance French.Nouns.instDecidableEqNoun : DecidableEq Noun

Equations

• French.Nouns.instDecidableEqNoun = French.Nouns.instDecidableEqNoun.decEq

def French.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 French.Nouns.chien : Noun

Equations

• French.Nouns.chien = { form := "chien", gloss := "dog", gender := French.Gender.Value.masculine, plural := some "chiens" }

def French.Nouns.chat : Noun

Equations

• French.Nouns.chat = { form := "chat", gloss := "cat", gender := French.Gender.Value.masculine, plural := some "chats" }

def French.Nouns.livre : Noun

Equations

• French.Nouns.livre = { form := "livre", gloss := "book", gender := French.Gender.Value.masculine, plural := some "livres" }

def French.Nouns.homme : Noun

Equations

• French.Nouns.homme = { form := "homme", gloss := "man", gender := French.Gender.Value.masculine, referentGender := some ReferentGender.male, plural := some "hommes" }

def French.Nouns.garcon : Noun

Equations

• French.Nouns.garcon = { form := "garçon", gloss := "boy", gender := French.Gender.Value.masculine, referentGender := some ReferentGender.male, plural := some "garçons" }

def French.Nouns.professeur : Noun

Equations

• French.Nouns.professeur = { form := "professeur", gloss := "teacher", gender := French.Gender.Value.masculine, plural := some "professeurs" }

def French.Nouns.etudiant : Noun

Equations

• French.Nouns.etudiant = { form := "étudiant", gloss := "student", gender := French.Gender.Value.masculine, referentGender := some ReferentGender.male, plural := some "étudiants" }

def French.Nouns.avocat : Noun

Equations

• French.Nouns.avocat = { form := "avocat", gloss := "lawyer", gender := French.Gender.Value.masculine, plural := some "avocats" }

def French.Nouns.cheval : Noun

Equations

• French.Nouns.cheval = { form := "cheval", gloss := "horse", gender := French.Gender.Value.masculine, plural := some "chevaux" }

def French.Nouns.fille : Noun

Equations

• French.Nouns.fille = { form := "fille", gloss := "girl", gender := French.Gender.Value.feminine, referentGender := some ReferentGender.female, plural := some "filles" }

def French.Nouns.femme : Noun

Equations

• French.Nouns.femme = { form := "femme", gloss := "woman", gender := French.Gender.Value.feminine, referentGender := some ReferentGender.female, plural := some "femmes" }

def French.Nouns.table : Noun

Equations

• French.Nouns.table = { form := "table", gloss := "table", gender := French.Gender.Value.feminine, plural := some "tables" }

def French.Nouns.pomme : Noun

Equations

• French.Nouns.pomme = { form := "pomme", gloss := "apple", gender := French.Gender.Value.feminine, plural := some "pommes" }

def French.Nouns.fleur : Noun

Equations

• French.Nouns.fleur = { form := "fleur", gloss := "flower", gender := French.Gender.Value.feminine, plural := some "fleurs" }

Mass nouns

def French.Nouns.eau : Noun

Equations

• French.Nouns.eau = { form := "eau", gloss := "water", gender := French.Gender.Value.feminine, counters := ∅ }

def French.Nouns.vin : Noun

Equations

• French.Nouns.vin = { form := "vin", gloss := "wine", gender := French.Gender.Value.masculine, counters := ∅ }

def French.Nouns.pain : Noun

Equations

• French.Nouns.pain = { form := "pain", gloss := "bread", gender := French.Gender.Value.masculine, counters := ∅ }

def French.Nouns.lait : Noun

Equations

• French.Nouns.lait = { form := "lait", gloss := "milk", gender := French.Gender.Value.masculine, counters := ∅ }

def French.Nouns.nouns : List Noun

The common nouns.

Equations

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

Proper names

def French.Nouns.name (form : String) (g : ReferentGender) : ProperName

A personal name, restricted to a gender.

Equations

• French.Nouns.name form g = { form := form, gloss := form, referentGender := some g }

def French.Nouns.jean : ProperName

Equations

• French.Nouns.jean = French.Nouns.name "Jean" ReferentGender.male

def French.Nouns.marie : ProperName

Equations

• French.Nouns.marie = French.Nouns.name "Marie" ReferentGender.female

def French.Nouns.pierre : ProperName

Equations

• French.Nouns.pierre = French.Nouns.name "Pierre" ReferentGender.male