Bosnian/Croatian/Serbian nouns by gender

This file gives the nouns of Adamson and Anagnostopoulou's Bosnian/Croatian/Serbian examples, each with its grammatical gender and the gender it restricts its referents to where it does: the conjuncts of their examples of resolved agreement, muškarac i žena 'the man and the woman', znanje i intuicija 'knowledge and intuition' and selo i brdo 'village and hill' ((68)–(70)), and the nouns of their Table 1, žena, čovek, mleko, knjiga and pesak. Their analysis of the neuter as a mass gender is in Studies/AdamsonAnagnostopoulou2025.lean.

References

• [AA25]

inductive Serbian.Gender.Value : Type

The three genders.

• masculine : Value
• feminine : Value
• neuter : Value

@[instance_reducible]

instance Serbian.Gender.instDecidableEqValue : DecidableEq Value

Equations

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

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

Equations

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

@[instance_reducible]

instance Serbian.Gender.instReprValue : Repr Value

Equations

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

@[instance_reducible]

instance Serbian.Gender.instFintypeValue : Fintype Value

Equations

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

def Serbian.Gender.Value.ofReferentGender : ReferentGender → Value

Male humans are masculine and female humans feminine.

Equations

• Serbian.Gender.Value.ofReferentGender ReferentGender.male = Serbian.Gender.Value.masculine
• Serbian.Gender.Value.ofReferentGender ReferentGender.female = Serbian.Gender.Value.feminine

def Serbian.Gender.muskarac : GenderedNoun Value

muškarac 'man'.

Equations

• Serbian.Gender.muskarac = { form := "muškarac", gloss := "man", gender := Serbian.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Serbian.Gender.zena : GenderedNoun Value

žena 'woman'.

Equations

• Serbian.Gender.zena = { form := "žena", gloss := "woman", gender := Serbian.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Serbian.Gender.covek : GenderedNoun Value

čovek 'person, man'.

Equations

• Serbian.Gender.covek = { form := "čovek", gloss := "person, man", gender := Serbian.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Serbian.Gender.znanje : GenderedNoun Value

znanje 'knowledge'.

Equations

• Serbian.Gender.znanje = { form := "znanje", gloss := "knowledge", gender := Serbian.Gender.Value.neuter }

def Serbian.Gender.intuicija : GenderedNoun Value

intuicija 'intuition'.

Equations

• Serbian.Gender.intuicija = { form := "intuicija", gloss := "intuition", gender := Serbian.Gender.Value.feminine }

def Serbian.Gender.selo : GenderedNoun Value

selo 'village'.

Equations

• Serbian.Gender.selo = { form := "selo", gloss := "village", gender := Serbian.Gender.Value.neuter }

def Serbian.Gender.brdo : GenderedNoun Value

brdo 'hill'.

Equations

• Serbian.Gender.brdo = { form := "brdo", gloss := "hill", gender := Serbian.Gender.Value.neuter }

def Serbian.Gender.knjiga : GenderedNoun Value

knjiga 'book'.

Equations

• Serbian.Gender.knjiga = { form := "knjiga", gloss := "book", gender := Serbian.Gender.Value.feminine }

def Serbian.Gender.pesak : GenderedNoun Value

pesak 'sand'.

Equations

• Serbian.Gender.pesak = { form := "pesak", gloss := "sand", gender := Serbian.Gender.Value.masculine }

def Serbian.Gender.mleko : GenderedNoun Value

mleko 'milk'.

Equations

• Serbian.Gender.mleko = { form := "mleko", gloss := "milk", gender := Serbian.Gender.Value.neuter }