Dutch gender

Dutch has two controller genders. The common gender, which Broekhuis and Corver's grammar calls non-neuter, is the merger of the historical masculine and feminine and is the gender of the de-words; the neuter is the gender of the het-words. The definite article and the demonstratives distinguish the two genders in the singular only, and Dutch.Determiners.singular records that evidence. The genders are read off the determiners rather than the pronouns, since pronominal agreement is partly semantic and follows the individuation of the referent ([Kra12a]).

References

• H. Broekhuis and N. Corver, Syntax of Dutch, Volume V: Nouns and Noun Phrases 2: Prenominal Elements, Pronouns and Syntactic Uses of Noun Phrases (2026)
• M. Kraaikamp, The Semantics of the Dutch Gender System (2012)

inductive Dutch.Gender.Value : Type

Dutch has two controller genders, the common gender of the de-words and the neuter of the het-words.

• common : Value
• neuter : Value

@[instance_reducible]

instance Dutch.Gender.instDecidableEqValue : DecidableEq Value

Equations

• Dutch.Gender.instDecidableEqValue x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Dutch.Gender.instReprValue.repr : Value → ℕ → Std.Format

Equations

• Dutch.Gender.instReprValue.repr Dutch.Gender.Value.common prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dutch.Gender.Value.common")).group prec✝
• Dutch.Gender.instReprValue.repr Dutch.Gender.Value.neuter prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dutch.Gender.Value.neuter")).group prec✝

@[instance_reducible]

instance Dutch.Gender.instReprValue : Repr Value

Equations

• Dutch.Gender.instReprValue = { reprPrec := Dutch.Gender.instReprValue.repr }

@[instance_reducible]

instance Dutch.Gender.instFintypeValue : Fintype Value

Equations

• Dutch.Gender.instFintypeValue = { elems := { val := ↑Dutch.Gender.Value.enumList, nodup := Dutch.Gender.Value.enumList_nodup }, complete := Dutch.Gender.instFintypeValue._proof_1 }

def Dutch.Gender.Value.toLabel : Value → Gender

Each Dutch gender bears the comparative label of the same name.

Equations

• Dutch.Gender.Value.common.toLabel = Gender.common
• Dutch.Gender.Value.neuter.toLabel = Gender.neuter