Coastal Marind gender

The four genders of Coastal Marind (Anim, New Guinea) after Olsson's description as tabulated in [Ada24]: the demonstrative and similative agreement forms, and the nouns whose form alternates overtly by gender, among them nanVh 'face', which takes the gender of its possessor; and the adjective ak-k 'light', which marks gender by its infixed vowel ([Cor98], where -pe is glossed as the article).

References

• [Ada24]
• G. G. Corbett, Morphology and agreement (1998)

inductive CoastalMarind.Gender : Type

The four genders: men; women and animals; and two inanimate classes.

• gI : Gender
• gII : Gender
• gIII : Gender
• gIV : Gender

@[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 : Repr Gender

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✝

@[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.demonstrative : Gender → String

The distal demonstrative -pe by gender in the singular; genders I and II share the plural form i-pe with gender IV.

Equations

• CoastalMarind.demonstrative CoastalMarind.Gender.gI = "e-pe"
• CoastalMarind.demonstrative CoastalMarind.Gender.gII = "u-pe"
• CoastalMarind.demonstrative CoastalMarind.Gender.gIII = "e-pe"
• CoastalMarind.demonstrative CoastalMarind.Gender.gIV = "i-pe"

def CoastalMarind.similative : Gender → Option String

The similative postposition hV for genders I and II.

Equations

• CoastalMarind.similative CoastalMarind.Gender.gI = some "hi"
• CoastalMarind.similative CoastalMarind.Gender.gII = some "hu"
• CoastalMarind.similative x✝ = none

def CoastalMarind.light : Gender → String

The adjective ak-k 'light', its infixed vowel -e-, -u-, -a-, -i- by gender.

Equations

• CoastalMarind.light CoastalMarind.Gender.gI = "akek"
• CoastalMarind.light CoastalMarind.Gender.gII = "akuk"
• CoastalMarind.light CoastalMarind.Gender.gIII = "akak"
• CoastalMarind.light CoastalMarind.Gender.gIV = "akik"

structure CoastalMarind.Alternating : Type

A noun with overt gender alternation: its gender I, gender II, and plural forms.

• gloss : String
• gI : String
• gII : String
• pl : String

def CoastalMarind.instDecidableEqAlternating.decEq (x✝ x✝¹ : Alternating) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoastalMarind.instDecidableEqAlternating : DecidableEq Alternating

Equations

• CoastalMarind.instDecidableEqAlternating = CoastalMarind.instDecidableEqAlternating.decEq

@[instance_reducible]

instance CoastalMarind.instReprAlternating : Repr Alternating

Equations

• CoastalMarind.instReprAlternating = { reprPrec := CoastalMarind.instReprAlternating.repr }

def CoastalMarind.instReprAlternating.repr : Alternating → ℕ → Std.Format

Equations

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

def CoastalMarind.alternating : List Alternating

The alternating nouns.

Equations

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

def CoastalMarind.face : Gender → String

The form of nanVh 'face' by gender.

Equations

• CoastalMarind.face CoastalMarind.Gender.gII = "nanuh"
• CoastalMarind.face x✝ = "nanih"