French Noun Lexicon Fragment

French NP structure with gender. Bare arguments restricted ([Chi98] [-arg, +pred]).

structure French.Nouns.NounEntry : Type

A lexical entry for a French noun.

French nouns have grammatical gender.

• formSg : String

  Singular form

• formPl : Option String

  Plural form

• gender : Gender

  Grammatical gender

• countable : Bool

  Is this a count noun?

• proper : Bool

  Is this a proper name?

def French.Nouns.instReprNounEntry.repr : NounEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance French.Nouns.instReprNounEntry : Repr NounEntry

Equations

• French.Nouns.instReprNounEntry = { reprPrec := French.Nouns.instReprNounEntry.repr }

@[implicit_reducible]

instance French.Nouns.instBEqNounEntry : BEq NounEntry

Equations

• French.Nouns.instBEqNounEntry = { beq := French.Nouns.instBEqNounEntry.beq }

def French.Nouns.instBEqNounEntry.beq : NounEntry → NounEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• French.Nouns.instBEqNounEntry.beq x✝¹ x✝ = false

inductive French.Nouns.Determiner : Type

French determiners

• le : Determiner
• la : Determiner
• les : Determiner
• un : Determiner
• une : Determiner
• des : Determiner
• du : Determiner
• dela : Determiner

@[implicit_reducible]

instance French.Nouns.instDecidableEqDeterminer : DecidableEq Determiner

Equations

• French.Nouns.instDecidableEqDeterminer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance French.Nouns.instReprDeterminer : Repr Determiner

Equations

• French.Nouns.instReprDeterminer = { reprPrec := French.Nouns.instReprDeterminer.repr }

def French.Nouns.instReprDeterminer.repr : Determiner → ℕ → Std.Format

Equations

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

structure French.Nouns.NP : Type

French NP structure.

French NPs require determiners in most contexts.

• noun : NounEntry

  The underlying noun

• number : UD.Number

  Grammatical number.

• isBare : Bool

  Is this a bare NP (no determiner)?

• determiner : Option Determiner

  The determiner (if not bare)

@[implicit_reducible]

instance French.Nouns.instReprNP : Repr NP

Equations

• French.Nouns.instReprNP = { reprPrec := French.Nouns.instReprNP.repr }

def French.Nouns.instReprNP.repr : NP → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance French.Nouns.instBEqNP : BEq NP

Equations

• French.Nouns.instBEqNP = { beq := French.Nouns.instBEqNP.beq }

def French.Nouns.instBEqNP.beq : NP → NP → Bool

Equations

• One or more equations did not get rendered due to their size.
• French.Nouns.instBEqNP.beq x✝¹ x✝ = false

@[implicit_reducible]

instance French.Nouns.instHasNumberNP : HasNumber NP

An NP bears the number of its number slot (HasNumber).

Equations

• French.Nouns.instHasNumberNP = { numberOf := fun (np : French.Nouns.NP) => Number.fromUD np.number }

def French.Nouns.frenchBlocking : Semantics.Kinds.NMP.BlockingPrinciple

French has a rich article system that blocks most bare arguments.

Equations

• French.Nouns.frenchBlocking = { determiners := ["le", "la", "les", "un", "une", "des", "du", "de la"], iotaBlocked := true, existsBlocked := true, downBlocked := false }

def French.Nouns.frenchMapping : Semantics.Kinds.NMP.NominalMapping

French is a [-arg, +pred] language

Equations

• French.Nouns.frenchMapping = Semantics.Kinds.NMP.NominalMapping.predOnly

def French.Nouns.defNP (n : NounEntry) (num : UD.Number := UD.Number.Sing) : NP

Create a definite NP (le/la/les)

Equations

• French.Nouns.defNP n = { noun := n, number := UD.Number.Sing, isBare := false, determiner := some French.Nouns.Determiner.le }
• French.Nouns.defNP n = { noun := n, number := UD.Number.Sing, isBare := false, determiner := some French.Nouns.Determiner.la }
• French.Nouns.defNP n num✝ = { noun := n, number := num✝, isBare := false, determiner := some French.Nouns.Determiner.les }

def French.Nouns.indefNP (n : NounEntry) : NP

Create an indefinite singular NP (un/une)

Equations

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

def French.Nouns.desNP (n : NounEntry) : NP

Create an indefinite plural NP (des)

Equations

• French.Nouns.desNP n = { noun := n, number := UD.Number.Plur, isBare := false, determiner := some French.Nouns.Determiner.des }

def French.Nouns.partNP (n : NounEntry) : NP

Create a partitive NP (du/de la) for mass nouns

Equations

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

def French.Nouns.bareNP (n : NounEntry) (num : UD.Number := UD.Number.Sing) : NP

Create a bare NP (restricted in French)

Equations

• French.Nouns.bareNP n num = { noun := n, number := num, isBare := true }

def French.Nouns.chien : NounEntry

Equations

• French.Nouns.chien = { formSg := "chien", formPl := some "chiens", gender := Gender.masculine }

def French.Nouns.chat : NounEntry

Equations

• French.Nouns.chat = { formSg := "chat", formPl := some "chats", gender := Gender.masculine }

def French.Nouns.livre : NounEntry

Equations

• French.Nouns.livre = { formSg := "livre", formPl := some "livres", gender := Gender.masculine }

def French.Nouns.homme : NounEntry

Equations

• French.Nouns.homme = { formSg := "homme", formPl := some "hommes", gender := Gender.masculine }

def French.Nouns.garcon : NounEntry

Equations

• French.Nouns.garcon = { formSg := "garçon", formPl := some "garçons", gender := Gender.masculine }

def French.Nouns.professeur : NounEntry

Equations

• French.Nouns.professeur = { formSg := "professeur", formPl := some "professeurs", gender := Gender.masculine }

def French.Nouns.etudiant : NounEntry

Equations

• French.Nouns.etudiant = { formSg := "étudiant", formPl := some "étudiants", gender := Gender.masculine }

def French.Nouns.avocat : NounEntry

Equations

• French.Nouns.avocat = { formSg := "avocat", formPl := some "avocats", gender := Gender.masculine }

def French.Nouns.cheval : NounEntry

Equations

• French.Nouns.cheval = { formSg := "cheval", formPl := some "chevaux", gender := Gender.masculine }

def French.Nouns.fille : NounEntry

Equations

• French.Nouns.fille = { formSg := "fille", formPl := some "filles", gender := Gender.feminine }

def French.Nouns.femme : NounEntry

Equations

• French.Nouns.femme = { formSg := "femme", formPl := some "femmes", gender := Gender.feminine }

def French.Nouns.table : NounEntry

Equations

• French.Nouns.table = { formSg := "table", formPl := some "tables", gender := Gender.feminine }

def French.Nouns.pomme : NounEntry

Equations

• French.Nouns.pomme = { formSg := "pomme", formPl := some "pommes", gender := Gender.feminine }

def French.Nouns.fleur : NounEntry

Equations

• French.Nouns.fleur = { formSg := "fleur", formPl := some "fleurs", gender := Gender.feminine }

def French.Nouns.eau : NounEntry

Equations

• French.Nouns.eau = { formSg := "eau", gender := Gender.feminine, countable := false }

def French.Nouns.vin : NounEntry

Equations

• French.Nouns.vin = { formSg := "vin", gender := Gender.masculine, countable := false }

def French.Nouns.pain : NounEntry

Equations

• French.Nouns.pain = { formSg := "pain", gender := Gender.masculine, countable := false }

def French.Nouns.lait : NounEntry

Equations

• French.Nouns.lait = { formSg := "lait", gender := Gender.masculine, countable := false }

def French.Nouns.jean : NounEntry

Equations

• French.Nouns.jean = { formSg := "Jean", gender := Gender.masculine, proper := true }

def French.Nouns.marie : NounEntry

Equations

• French.Nouns.marie = { formSg := "Marie", gender := Gender.feminine, proper := true }

def French.Nouns.pierre : NounEntry

Equations

• French.Nouns.pierre = { formSg := "Pierre", gender := Gender.masculine, proper := true }

def French.Nouns.allNouns : List NounEntry

Equations

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

def French.Nouns.lookup (form : String) : Option NounEntry

Equations

• French.Nouns.lookup form = List.find? (fun (n : French.Nouns.NounEntry) => n.formSg == form || n.formPl == some form) French.Nouns.allNouns

def French.Nouns.barePluralLicensed : Bool

In French, bare plurals are NOT generally licensed

Equations

• French.Nouns.barePluralLicensed = false

def French.Nouns.bareSingularLicensed : Bool

In French, bare singulars are NOT licensed

Equations

• French.Nouns.bareSingularLicensed = false

def French.Nouns.leChien : NP

"le chien" (the dog)

Equations

• French.Nouns.leChien = French.Nouns.defNP French.Nouns.chien

def French.Nouns.lesChiens : NP

"les chiens" (the dogs)

Equations

• French.Nouns.lesChiens = French.Nouns.defNP French.Nouns.chien UD.Number.Plur

def French.Nouns.unChien : NP

"un chien" (a dog)

Equations

• French.Nouns.unChien = French.Nouns.indefNP French.Nouns.chien

def French.Nouns.desPommes : NP

"des pommes" (some apples) - required where English uses bare plural

Equations

• French.Nouns.desPommes = French.Nouns.desNP French.Nouns.pomme

def French.Nouns.duVin : NP

"du vin" (some wine) - partitive

Equations

• French.Nouns.duVin = French.Nouns.partNP French.Nouns.vin