Teop nouns

This file records the noun classes of Teop (Oceanic, Bougainville), the articles that mark them, and nouns of each class.

A Teop noun belongs to one of three classes, named by the article it takes in the singular, e, a or o. The article also marks number. An adjective or numeral agreeing with the noun takes an article that distinguishes only two classes, and Mosel and Spriggs call these genders I and II, with the e- and a-classes as the subgenders I-E and I-A of gender I. A body-part term takes the a-class article when possessed and the o-class article otherwise.

Main definitions

• Teop.NounClass: the three noun classes.
• Teop.headArticle: the article of a noun, by class and number.
• Teop.targetArticle: the article of an agreeing adjective or numeral.

Implementation notes

• Number is a Bool, true for the plural.
• The plural article of the e-class is recorded as o. Personal names, kinship terms and teiee 'who' can also take the plural article ere.
• A body-part term is recorded with the class it takes without a possessor.

References

• [MS00]
• [Cor00]
• [Ada24]

inductive Teop.NounClass : Type

The noun classes, named by the singular article.

• e : NounClass

  The class of personal names, kinship terms, socially important people and pets (gender I-E).

• a : NounClass

  The class of most nouns, among them other people, animals with legs, fruit, food, and landmarks (gender I-A).

• o : NounClass

  The class of plants, things made from plants, invertebrates without legs, and many mass and abstract nouns (gender II).

@[instance_reducible]

instance Teop.instDecidableEqNounClass : DecidableEq NounClass

Equations

• Teop.instDecidableEqNounClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Teop.instReprNounClass.repr : NounClass → ℕ → Std.Format

Equations

• Teop.instReprNounClass.repr Teop.NounClass.e prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.NounClass.e")).group prec✝
• Teop.instReprNounClass.repr Teop.NounClass.a prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.NounClass.a")).group prec✝
• Teop.instReprNounClass.repr Teop.NounClass.o prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.NounClass.o")).group prec✝

@[instance_reducible]

instance Teop.instReprNounClass : Repr NounClass

Equations

• Teop.instReprNounClass = { reprPrec := Teop.instReprNounClass.repr }

@[instance_reducible]

instance Teop.instFintypeNounClass : Fintype NounClass

Equations

• Teop.instFintypeNounClass = { elems := { val := ↑Teop.NounClass.enumList, nodup := Teop.NounClass.enumList_nodup }, complete := Teop.instFintypeNounClass._proof_1 }

inductive Teop.Article : Type

The basic articles.

• a : Article
• e : Article
• o : Article

@[instance_reducible]

instance Teop.instDecidableEqArticle : DecidableEq Article

Equations

• Teop.instDecidableEqArticle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Teop.instReprArticle : Repr Article

Equations

• Teop.instReprArticle = { reprPrec := Teop.instReprArticle.repr }

def Teop.instReprArticle.repr : Article → ℕ → Std.Format

Equations

• Teop.instReprArticle.repr Teop.Article.a prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.Article.a")).group prec✝
• Teop.instReprArticle.repr Teop.Article.e prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.Article.e")).group prec✝
• Teop.instReprArticle.repr Teop.Article.o prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Teop.Article.o")).group prec✝

@[instance_reducible]

instance Teop.instFintypeArticle : Fintype Article

Equations

• Teop.instFintypeArticle = { elems := { val := ↑Teop.Article.enumList, nodup := Teop.Article.enumList_nodup }, complete := Teop.instFintypeArticle._proof_1 }

def Teop.headArticle : NounClass → Bool → Article

The basic article of a noun, by class and number.

Equations

• Teop.headArticle Teop.NounClass.e false = Teop.Article.e
• Teop.headArticle Teop.NounClass.a false = Teop.Article.a
• Teop.headArticle Teop.NounClass.o false = Teop.Article.o
• Teop.headArticle Teop.NounClass.e true = Teop.Article.o
• Teop.headArticle Teop.NounClass.a true = Teop.Article.o
• Teop.headArticle Teop.NounClass.o true = Teop.Article.a

def Teop.targetArticle : NounClass → Bool → Article

The article of an adjective or numeral agreeing with a noun, by the noun's class and number.

Equations

• Teop.targetArticle Teop.NounClass.e false = Teop.Article.a
• Teop.targetArticle Teop.NounClass.a false = Teop.Article.a
• Teop.targetArticle Teop.NounClass.o true = Teop.Article.a
• Teop.targetArticle Teop.NounClass.e true = Teop.Article.o
• Teop.targetArticle Teop.NounClass.a true = Teop.Article.o
• Teop.targetArticle Teop.NounClass.o false = Teop.Article.o

@[reducible, inline]

abbrev Teop.Noun : Type

A Teop noun with its class.

Equations

• Teop.Noun = GenderedNoun Teop.NounClass

The e-class

def Teop.iaa : Noun

iaa 'mum'.

Equations

• Teop.iaa = { form := "iaa", gloss := "mum", gender := Teop.NounClass.e, naturalGender := some Gender.feminine }

def Teop.tetee : Noun

tetee 'dad'.

Equations

• Teop.tetee = { form := "tetee", gloss := "dad", gender := Teop.NounClass.e, naturalGender := some Gender.masculine }

def Teop.sina : Noun

sina 'mother', which takes a possessor.

Equations

• Teop.sina = { form := "sina", gloss := "mother", gender := Teop.NounClass.e, naturalGender := some Gender.feminine }

def Teop.maagee : Noun

maagee 'friend'.

Equations

• Teop.maagee = { form := "maagee", gloss := "friend", gender := Teop.NounClass.e }

def Teop.siisia : Noun

siisia 'teacher'.

Equations

• Teop.siisia = { form := "siisia", gloss := "teacher", gender := Teop.NounClass.e }

def Teop.magaru : Noun

magaru 'earthquake'.

Equations

• Teop.magaru = { form := "magaru", gloss := "earthquake", gender := Teop.NounClass.e }

def Teop.guu : Noun

guu 'pig'.

Equations

• Teop.guu = { form := "guu", gloss := "pig", gender := Teop.NounClass.e }

The a-class

def Teop.moon : Noun

moon 'woman'.

Equations

• Teop.moon = { form := "moon", gloss := "woman", gender := Teop.NounClass.a, naturalGender := some Gender.feminine }

def Teop.otei : Noun

otei 'man'.

Equations

• Teop.otei = { form := "otei", gloss := "man", gender := Teop.NounClass.a, naturalGender := some Gender.masculine }

def Teop.beikoo : Noun

beikoo 'child'.

Equations

• Teop.beikoo = { form := "beikoo", gloss := "child", gender := Teop.NounClass.a }

def Teop.keusu : Noun

keusu 'rat'.

Equations

• Teop.keusu = { form := "keusu", gloss := "rat", gender := Teop.NounClass.a }

def Teop.naovana : Noun

naovana 'bird'.

Equations

• Teop.naovana = { form := "naovana", gloss := "bird", gender := Teop.NounClass.a }

def Teop.overe : Noun

overe 'coconut', the fruit.

Equations

• Teop.overe = { form := "overe", gloss := "coconut", gender := Teop.NounClass.a }

def Teop.pauna : Noun

pauna 'banana', the fruit.

Equations

• Teop.pauna = { form := "pauna", gloss := "banana", gender := Teop.NounClass.a }

def Teop.kepaa : Noun

kepaa 'clay pot'.

Equations

• Teop.kepaa = { form := "kepaa", gloss := "clay pot", gender := Teop.NounClass.a }

def Teop.anoo : Noun

anoo 'peeler', made from pearl shell.

Equations

• Teop.anoo = { form := "anoo", gloss := "peeler", gender := Teop.NounClass.a }

def Teop.taba'ani : Noun

taba'ani 'food'.

Equations

• Teop.taba'ani = { form := "taba'ani", gloss := "food", gender := Teop.NounClass.a }

def Teop.tahii : Noun

tahii 'sea'.

Equations

• Teop.tahii = { form := "tahii", gloss := "sea", gender := Teop.NounClass.a }

def Teop.huan : Noun

huan 'rain'.

Equations

• Teop.huan = { form := "huan", gloss := "rain", gender := Teop.NounClass.a }

def Teop.uruuru : Noun

uruuru 'love'.

Equations

• Teop.uruuru = { form := "uruuru", gloss := "love", gender := Teop.NounClass.a }

def Teop.inu : Noun

inu 'house'.

Equations

• Teop.inu = { form := "inu", gloss := "house", gender := Teop.NounClass.a }

The o-class

def Teop.overePalm : Noun

overe 'coconut palm', the plant.

Equations

• Teop.overePalm = { form := "overe", gloss := "coconut palm", gender := Teop.NounClass.o }

def Teop.paunaTree : Noun

pauna 'banana tree', the plant.

Equations

• Teop.paunaTree = { form := "pauna", gloss := "banana tree", gender := Teop.NounClass.o }

def Teop.paka : Noun

paka 'leaf'.

Equations

• Teop.paka = { form := "paka", gloss := "leaf", gender := Teop.NounClass.o }

def Teop.pus : Noun

pus 'stump'.

Equations

• Teop.pus = { form := "pus", gloss := "stump", gender := Teop.NounClass.o }

def Teop.hinahoo : Noun

hinahoo 'taro planting stick'.

Equations

• Teop.hinahoo = { form := "hinahoo", gloss := "taro planting stick", gender := Teop.NounClass.o }

def Teop.sinivi : Noun

sinivi 'canoe'.

Equations

• Teop.sinivi = { form := "sinivi", gloss := "canoe", gender := Teop.NounClass.o }

def Teop.hoi : Noun

hoi 'basket'.

Equations

• Teop.hoi = { form := "hoi", gloss := "basket", gender := Teop.NounClass.o }

def Teop.kurita : Noun

kurita 'octopus'.

Equations

• Teop.kurita = { form := "kurita", gloss := "octopus", gender := Teop.NounClass.o }

def Teop.demdem : Noun

demdem 'snail'.

Equations

• Teop.demdem = { form := "demdem", gloss := "snail", gender := Teop.NounClass.o }

def Teop.paku : Noun

paku 'feast'.

Equations

• Teop.paku = { form := "paku", gloss := "feast", gender := Teop.NounClass.o }

def Teop.suraa : Noun

suraa 'fire'.

Equations

• Teop.suraa = { form := "suraa", gloss := "fire", gender := Teop.NounClass.o }

def Teop.giigii : Noun

giigii 'shooting star'.

Equations

• Teop.giigii = { form := "giigii", gloss := "shooting star", gender := Teop.NounClass.o }

def Teop.koara : Noun

koara 'language'.

Equations

• Teop.koara = { form := "koara", gloss := "language", gender := Teop.NounClass.o }

Body-part terms

def Teop.bina : Noun

bina 'spleen'.

Equations

• Teop.bina = { form := "bina", gloss := "spleen", gender := Teop.NounClass.o }

def Teop.vuha : Noun

vuha 'heart'.

Equations

• Teop.vuha = { form := "vuha", gloss := "heart", gender := Teop.NounClass.o }

def Teop.kuri : Noun

kuri 'hand', kuri-na without a possessor.

Equations

• Teop.kuri = { form := "kuri", gloss := "hand", gender := Teop.NounClass.o }

def Teop.iru : Noun

iru 'back of the head'.

Equations

• Teop.iru = { form := "iru", gloss := "back of the head", gender := Teop.NounClass.o }

def Teop.ihu : Noun

ihu 'nose', ihu-na without a possessor.

Equations

• Teop.ihu = { form := "ihu", gloss := "nose", gender := Teop.NounClass.o }

def Teop.revasin : Noun

revasin 'blood'.

Equations

• Teop.revasin = { form := "revasin", gloss := "blood", gender := Teop.NounClass.o }

def Teop.hena : Noun

hena 'name'.

Equations

• Teop.hena = { form := "hena", gloss := "name", gender := Teop.NounClass.o }

def Teop.moo : Noun

moo 'leg', moo-na without a possessor outside a compound.

Equations

• Teop.moo = { form := "moo", gloss := "leg", gender := Teop.NounClass.o }

def Teop.bodyPartTerms : List Noun

The body-part terms.

Equations

• Teop.bodyPartTerms = [Teop.bina, Teop.vuha, Teop.kuri, Teop.iru, Teop.ihu, Teop.revasin, Teop.hena, Teop.moo]