Italian Determiners (Quantifiers)

Quantifier lexicon with syntactic and semantic properties. Each entry extends Syntax.Determiner.Quantifier (the marked-determiner base: form, numberRestriction, selectsMass) and adds gender agreement plus the typological metadata labels (qforce/monotonicity/strength) from Semantics/Quantification/Lexicon.lean.

Italian quantifiers agree in gender and/or number with their NP:

• ogni (every): invariant, singular
• qualche (some): invariant, singular
• nessuno/nessuna (no): gender-variable, singular, negative concord
• tutti/tutte (all): gender-variable, plural
• alcuni/alcune (some): gender-variable, plural
• molti/molte (many): gender-variable, plural
• pochi/poche (few): gender-variable, plural

structure Italian.Determiners.ItalianQuantifierEntryextends Quantifier : Type

Italian quantifier entry: the marked Quantifier base + gender + the B&C typological metadata labels.

• form : String
• numberRestriction : Option Number
• selectsMass : Bool
• qforce : Quantification.Lexicon.QForce

  Quantificational force (typological label).

• monotonicity : Quantification.Lexicon.Monotonicity

  Monotonicity (typological label).

• strength : Quantification.Lexicon.Strength

  Weak/strong (B&C Table II).

• gender : Option Gender

  Gender agreement (none = invariant)

@[implicit_reducible]

instance Italian.Determiners.instReprItalianQuantifierEntry : Repr ItalianQuantifierEntry

Equations

• Italian.Determiners.instReprItalianQuantifierEntry = { reprPrec := Italian.Determiners.instReprItalianQuantifierEntry.repr }

def Italian.Determiners.instReprItalianQuantifierEntry.repr : ItalianQuantifierEntry → ℕ → Std.Format

Equations

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

def Italian.Determiners.ogni : ItalianQuantifierEntry

ogni — every (invariant, singular, universal).

Equations

• Italian.Determiners.ogni = { form := "ogni", numberRestriction := some Number.singular, qforce := Quantification.Lexicon.QForce.universal, strength := Quantification.Lexicon.Strength.strong }

def Italian.Determiners.qualche : ItalianQuantifierEntry

qualche — some (invariant, singular, existential).

Equations

• Italian.Determiners.qualche = { form := "qualche", numberRestriction := some Number.singular, qforce := Quantification.Lexicon.QForce.existential }

def Italian.Determiners.nessuno : ItalianQuantifierEntry

nessuno — no one (masculine, singular, negative concord).

Equations

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

def Italian.Determiners.nessuna : ItalianQuantifierEntry

nessuna — no one (feminine, singular, negative concord).

Equations

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

def Italian.Determiners.tutti : ItalianQuantifierEntry

tutti — all (masculine, plural, universal).

Equations

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

def Italian.Determiners.tutte : ItalianQuantifierEntry

tutte — all (feminine, plural, universal).

Equations

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

def Italian.Determiners.alcuni : ItalianQuantifierEntry

alcuni — some (masculine, plural, existential).

Equations

• Italian.Determiners.alcuni = { form := "alcuni", numberRestriction := some Number.plural, qforce := Quantification.Lexicon.QForce.existential, gender := some Gender.masculine }

def Italian.Determiners.alcune : ItalianQuantifierEntry

alcune — some (feminine, plural, existential).

Equations

• Italian.Determiners.alcune = { form := "alcune", numberRestriction := some Number.plural, qforce := Quantification.Lexicon.QForce.existential, gender := some Gender.feminine }

def Italian.Determiners.molti : ItalianQuantifierEntry

molti — many (masculine, plural, proportional).

Equations

• Italian.Determiners.molti = { form := "molti", numberRestriction := some Number.plural, qforce := Quantification.Lexicon.QForce.proportional, gender := some Gender.masculine }

def Italian.Determiners.molte : ItalianQuantifierEntry

molte — many (feminine, plural, proportional).

Equations

• Italian.Determiners.molte = { form := "molte", numberRestriction := some Number.plural, qforce := Quantification.Lexicon.QForce.proportional, gender := some Gender.feminine }

def Italian.Determiners.pochi : ItalianQuantifierEntry

pochi — few (masculine, plural, proportional, decreasing).

Equations

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

def Italian.Determiners.poche : ItalianQuantifierEntry

poche — few (feminine, plural, proportional, decreasing).

Equations

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

def Italian.Determiners.allQuantifiers : List ItalianQuantifierEntry

All Italian quantifier entries.

Equations

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

def Italian.Determiners.lookup (form : String) : Option ItalianQuantifierEntry

Lookup by form.

Equations

• Italian.Determiners.lookup form = List.find? (fun (q : Italian.Determiners.ItalianQuantifierEntry) => q.form == form) Italian.Determiners.allQuantifiers

theorem Italian.Determiners.ogni_universal : ogni.qforce = Quantification.Lexicon.QForce.universal ∧ ogni.monotonicity = Quantification.Lexicon.Monotonicity.increasing ∧ ogni.strength = Quantification.Lexicon.Strength.strong

ogni is universal, increasing, and strong.

theorem Italian.Determiners.nessuno_negative : nessuno.qforce = Quantification.Lexicon.QForce.negative ∧ nessuno.monotonicity = Quantification.Lexicon.Monotonicity.decreasing

nessuno is negative and decreasing.

theorem Italian.Determiners.tutti_universal : tutti.qforce = Quantification.Lexicon.QForce.universal ∧ tutti.monotonicity = Quantification.Lexicon.Monotonicity.increasing ∧ tutti.strength = Quantification.Lexicon.Strength.strong

tutti is universal, increasing, and strong.

theorem Italian.Determiners.qualche_existential : qualche.qforce = Quantification.Lexicon.QForce.existential ∧ qualche.monotonicity = Quantification.Lexicon.Monotonicity.increasing

qualche is existential and increasing.

theorem Italian.Determiners.pochi_decreasing : pochi.qforce = Quantification.Lexicon.QForce.proportional ∧ pochi.monotonicity = Quantification.Lexicon.Monotonicity.decreasing

pochi is proportional and decreasing.

theorem Italian.Determiners.nessuno_nessuna_gender : nessuno.gender = some Gender.masculine ∧ nessuna.gender = some Gender.feminine ∧ nessuno.qforce = nessuna.qforce

Gender agreement: nessuno/nessuna are masculine/feminine forms of the same quantifier.

theorem Italian.Determiners.tutti_tutte_gender : tutti.gender = some Gender.masculine ∧ tutte.gender = some Gender.feminine ∧ tutti.qforce = tutte.qforce

Gender agreement: tutti/tutte are masculine/feminine forms of the same quantifier.