Documentation

Linglib.Fragments.CoastalMarind.Gender

Coastal Marind gender #

This file records the four genders of Coastal Marind (Anim, South New Guinea), the forms of words that agree with them, and nouns whose form varies with gender, after Olsson.

Gender I holds male humans, gender II female humans and all animals, and genders III and IV divide the inanimates. Demonstratives, a few adjectives and some postpositions agree by a stem-final gender vowel, e, u, a, i for genders I–IV, with syncretisms particular to each target. On these forms only genders I and II distinguish number (injective_demonstrative_iff), and their plural is the singular form of gender IV (Gender.pluralGender). The suppletive adjective 'small' distinguishes number in every gender (injective_small), and on it the plural of genders I and II is gender IV's plural (small_plural), so the affinity holds between the plurals. The demonstrative's two numbers partition the genders crosswise (crossed_demonstrative), and together they separate all four (faithful_demonstrative). A few nouns vary their stem vowel with gender in the same way, and nanVh 'face' takes the gender of the one whose face it is, Olsson's inherited gender.

Implementation notes #

Number is a value of the singular-plural system.
Demonstratives are segmented into their gender vowel and the stem, as in e-pe.
The number-suppletive verb stems, which group gender IV with the animate plurals too, are not recorded.

References #

inductive CoastalMarind.Gender :

The four genders ([Ols21] §5.1).

gI : Gender
Male humans.
gII : Gender
Female humans and all animals.
gIII : Gender
Most inanimates, and the default: ideophones and adverbial demonstratives take its forms.
gIV : Gender
The remaining inanimates, whose agreements are the animate plurals'.

Instances For

@[instance_reducible]

instance CoastalMarind.instDecidableEqGender :

DecidableEq Gender

Equations

CoastalMarind.instDecidableEqGender x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoastalMarind.instReprGender :

Equations

CoastalMarind.instReprGender = { reprPrec := CoastalMarind.instReprGender.repr }

def CoastalMarind.instReprGender.repr :

Gender → ℕ → Std.Format

Equations

CoastalMarind.instReprGender.repr CoastalMarind.Gender.gI prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "CoastalMarind.Gender.gI")).group prec✝
CoastalMarind.instReprGender.repr CoastalMarind.Gender.gII prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "CoastalMarind.Gender.gII")).group prec✝
CoastalMarind.instReprGender.repr CoastalMarind.Gender.gIII prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "CoastalMarind.Gender.gIII")).group prec✝
CoastalMarind.instReprGender.repr CoastalMarind.Gender.gIV prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "CoastalMarind.Gender.gIV")).group prec✝

Instances For

@[instance_reducible]

instance CoastalMarind.instFintypeGender :

Fintype Gender

Equations

CoastalMarind.instFintypeGender = { elems := { val := ↑CoastalMarind.Gender.enumList, nodup := CoastalMarind.Gender.enumList_nodup }, complete := CoastalMarind.instFintypeGender._proof_1 }

def CoastalMarind.numberSystem :

Coastal Marind distinguishes the singular and the plural.

Equations

CoastalMarind.numberSystem = Number.System.singularPlural

Instances For

def CoastalMarind.demonstrative (g : Gender) :

↥numberSystem.values → String

The distal demonstrative Vpe, by gender and number ([Ols21] Table 4.2).

Equations

Instances For

def CoastalMarind.similative (g : Gender) :

↥numberSystem.values → String

The similative postposition hV 'like', which is hu for gender II in the singular and hi otherwise ([Ols21] §3.3).

Equations

Instances For

def CoastalMarind.light (g : Gender) :

↥numberSystem.values → String

The adjective ak-k 'light (in weight)', by gender and number ([Ols21] Table 3.3).

Equations

Instances For

def CoastalMarind.small (g : Gender) :

↥numberSystem.values → String

The suppletive adjective 'small', by gender and number ([Ols21] Table 3.5), the one target that distinguishes number in genders III and IV.

Equations

Instances For

def CoastalMarind.face (g : Gender) :

↥numberSystem.values → String

The noun nanVh 'face', by the gender and number of the one whose face it is: the one noun with overt alternation among the three that take their referent's gender, Olsson's inherited gender ([Ols21] §5.2.3).

Equations

Instances For

Agreement patterns #

theorem CoastalMarind.faithful_demonstrative :

Gender.Faithful demonstrative

The distal demonstrative alone separates the four genders, I and III sharing e-pe only in the singular and I, II and IV sharing i-pe only in the plural ([Ols21] §5.1).

theorem CoastalMarind.crossed_demonstrative :

Gender.Crossed (fun (x : Gender) => demonstrative x (numberSystem.value Number.singular crossed_demonstrative._proof_1)) fun (x : Gender) => demonstrative x (numberSystem.value Number.plural crossed_demonstrative._proof_2)

theorem CoastalMarind.injective_demonstrative_iff (g : Gender) :

Function.Injective (demonstrative g) ↔ g = Gender.gI ∨ g = Gender.gII

def CoastalMarind.Gender.pluralGender :

Gender → Gender

The gender whose singular form a gender's plural takes: gender IV, except that gender III does not distinguish number. Every vowel-alternating form realizes the plural of genders I and II as the singular of gender IV, the plural–gender IV affinity that [Ols21] §5.3.2 extends to number-suppletive verb stems.

Equations

Instances For

theorem CoastalMarind.demonstrative_plural (g : Gender) :

demonstrative g (numberSystem.value Number.plural crossed_demonstrative._proof_2) = demonstrative g.pluralGender (numberSystem.value Number.singular crossed_demonstrative._proof_1)

theorem CoastalMarind.similative_plural (g : Gender) :

similative g (numberSystem.value Number.plural crossed_demonstrative._proof_2) = similative g.pluralGender (numberSystem.value Number.singular crossed_demonstrative._proof_1)

theorem CoastalMarind.light_plural (g : Gender) :

light g (numberSystem.value Number.plural crossed_demonstrative._proof_2) = light g.pluralGender (numberSystem.value Number.singular crossed_demonstrative._proof_1)

theorem CoastalMarind.face_plural (g : Gender) :

face g (numberSystem.value Number.plural crossed_demonstrative._proof_2) = face g.pluralGender (numberSystem.value Number.singular crossed_demonstrative._proof_1)

theorem CoastalMarind.injective_small (g : Gender) :

Function.Injective (small g)

theorem CoastalMarind.small_plural {g : Gender} (hg : g ≠ Gender.gIII) :

small g (numberSystem.value Number.plural crossed_demonstrative._proof_2) = small Gender.gIV (numberSystem.value Number.plural crossed_demonstrative._proof_2)

@[reducible, inline]

abbrev CoastalMarind.Noun :

A noun with its gender.

Equations

CoastalMarind.Noun = GenderedNoun CoastalMarind.Gender

Instances For

Nouns with overt gender #

def CoastalMarind.anem :

anem 'man'.

Equations

CoastalMarind.anem = { form := "anem", gloss := "man", gender := CoastalMarind.Gender.gI, referentGender := some ReferentGender.male }

Instances For

def CoastalMarind.anum :

anum 'woman'.

Equations

CoastalMarind.anum = { form := "anum", gloss := "woman", gender := CoastalMarind.Gender.gII, referentGender := some ReferentGender.female }

Instances For

def CoastalMarind.namek :

namek 'clanmate', of a man.

Equations

CoastalMarind.namek = { form := "namek", gloss := "clanmate", gender := CoastalMarind.Gender.gI, referentGender := some ReferentGender.male }

Instances For

def CoastalMarind.namuk :

namuk 'clanmate', of a woman.

Equations

CoastalMarind.namuk = { form := "namuk", gloss := "clanmate", gender := CoastalMarind.Gender.gII, referentGender := some ReferentGender.female }

Instances For

def CoastalMarind.wananggib :

wananggib 'son'.

Equations

CoastalMarind.wananggib = { form := "wananggib", gloss := "son", gender := CoastalMarind.Gender.gI, referentGender := some ReferentGender.male }

Instances For

def CoastalMarind.wananggub :

wananggub 'daughter'.

Equations

CoastalMarind.wananggub = { form := "wananggub", gloss := "daughter", gender := CoastalMarind.Gender.gII, referentGender := some ReferentGender.female }

Instances For

def CoastalMarind.«eɣal» :

eɣal 'a certain man'.

Equations

CoastalMarind.«eɣal» = { form := "eɣal", gloss := "a certain man", gender := CoastalMarind.Gender.gI, referentGender := some ReferentGender.male }

Instances For

def CoastalMarind.«eɣul» :

eɣul 'a certain woman'.

Equations

CoastalMarind.«eɣul» = { form := "eɣul", gloss := "a certain woman", gender := CoastalMarind.Gender.gII, referentGender := some ReferentGender.female }

Instances For