Mwaghavul

Mwaghavul (A3 West Chadic, Plateau State, Nigeria; Glottocode mwag1236) contrasts H, M, and L level tones and an LH rise, and its tone-bearing unit is the syllable. Verbs are derived from ideophones by tone alone. This file records the ideophones of Akinbo and Rabo Fwangwar's dataset: each one's syllables with their lexical tones, and the tones of the singular and pluractional verbs derived from it, as printed.

Main definitions

• Syl: a syllable, written without tone.
• Ideophone: an ideophone with its syllables and the tones of its derived verbs.
• ideophones: the dataset.

References

• [AF26]
• [Fwa18]

def Mwaghavul.tbuKind : Tone.TBUKind

Mwaghavul's tone-bearing unit is the syllable.

Equations

• Mwaghavul.tbuKind = Tone.TBUKind.syllable

structure Mwaghavul.Syl : Type

A Mwaghavul syllable, its segments written without tone.

• ipa : String

@[instance_reducible]

instance Mwaghavul.instDecidableEqSyl : DecidableEq Syl

Equations

• Mwaghavul.instDecidableEqSyl = Mwaghavul.instDecidableEqSyl.decEq

def Mwaghavul.instDecidableEqSyl.decEq (x✝ x✝¹ : Syl) : Decidable (x✝ = x✝¹)

Equations

• Mwaghavul.instDecidableEqSyl.decEq { ipa := a } { ipa := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Mwaghavul.instReprSyl : Repr Syl

Equations

• Mwaghavul.instReprSyl = { reprPrec := Mwaghavul.instReprSyl.repr }

def Mwaghavul.instReprSyl.repr : Syl → ℕ → Std.Format

Equations

• Mwaghavul.instReprSyl.repr x✝ prec✝ = Std.Format.bracket "{ " (Std.Format.nil ++ Std.Format.text "ipa" ++ Std.Format.text " := " ++ (Std.Format.nest 7 (repr x✝.ipa)).group) " }"

structure Mwaghavul.Ideophone : Type

An ideophone, with the tones of the verbs derived from it.

• form : String

  The citation form, both copies of an inherently reduplicated ideophone.

• gloss : String
• syllables : List (Tone.TBU Syl)

  The syllables of one copy, each with its lexical tone.

• verb : Option (List Tone.TRN)

  The tones of the singular verb, none when only the reduplicated form is verbalised.

• pluractional : List Tone.TRN

  The tones of the pluractional verb, reduplicant then base.

• frozen : Bool

  Inherently reduplicated: the reduplicant and base are synchronically frozen.

def Mwaghavul.instDecidableEqIdeophone.decEq (x✝ x✝¹ : Ideophone) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Mwaghavul.instDecidableEqIdeophone : DecidableEq Ideophone

Equations

• Mwaghavul.instDecidableEqIdeophone = Mwaghavul.instDecidableEqIdeophone.decEq

@[instance_reducible]

instance Mwaghavul.instReprIdeophone : Repr Ideophone

Equations

• Mwaghavul.instReprIdeophone = { reprPrec := Mwaghavul.instReprIdeophone.repr }

def Mwaghavul.instReprIdeophone.repr : Ideophone → ℕ → Std.Format

Equations

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

def Mwaghavul.Ideophone.tones (i : Ideophone) : List Tone.TRN

The lexical tones of one copy of an ideophone.

Equations

• i.tones = List.map Tone.TBU.tone i.syllables

The dataset

def Mwaghavul.zut : Ideophone

zùt ‘how solid substance ejects’ (7a).

Equations

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

def Mwaghavul.diis : Ideophone

ɗìːs ‘sound of blood sucking’ (7a).

Equations

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

def Mwaghavul.kwaj : Ideophone

kwàj ‘sound of bubbling hot water’ (7a).

Equations

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

def Mwaghavul.vjar : Ideophone

vjàr ‘pouring of urine’ (7a).

Equations

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

def Mwaghavul.shwer : Ideophone

ʃwɛ̀r ‘how water falls’ (7a).

Equations

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

def Mwaghavul.shoghop : Ideophone

ʃɔ̀ɣɔ̀p ‘oily’ (7b).

Equations

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

def Mwaghavul.vjaghap : Ideophone

vjàɣàp ‘how liquid ejects from a fruit’ (7b).

Equations

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

def Mwaghavul.wulash : Ideophone

wùlàʃ ‘wide open’ (7b).

Equations

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

def Mwaghavul.lubuk : Ideophone

lúɓúk ‘smooth and soft’ (7c).

Equations

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

def Mwaghavul.wulashSmall : Ideophone

wúláʃ ‘wide open of small thing’ (7c).

Equations

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

def Mwaghavul.bishol : Ideophone

bɨ̀ʃɔ̀l ‘shabbily dressed’ (8a).

Equations

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

def Mwaghavul.kitish : Ideophone

kɨ̀tìʃ ‘untidy’ (8a).

Equations

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

def Mwaghavul.kodong : Ideophone

kɔ̀ɗɔ̀ŋ ‘walking effortfully’ (8a).

Equations

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

def Mwaghavul.kitshor : Ideophone

kɨ̀tʃɔ̀r ‘old-sounding vehicle’ (8a).

Equations

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

def Mwaghavul.korjong : Ideophone

kɔ̀rjɔ̀ŋ ‘crooked’ (8b).

Equations

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

def Mwaghavul.mondos : Ideophone

mɔ̀ndɔ̀s ‘big nose’ (8b).

Equations

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

def Mwaghavul.vwaplas : Ideophone

vwàplàs ‘oversized’ (8b).

Equations

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

def Mwaghavul.jalpat : Ideophone

jàlpàt ‘hanging loose’ (8b).

Equations

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

def Mwaghavul.hanlaghap : Ideophone

háŋláɣáp ‘light-weighted’ (8c).

Equations

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

def Mwaghavul.hamhoghosh : Ideophone

hámhɔ́ɣɔ́ʃ ‘dryness of cracked feet’ (8c).

Equations

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

def Mwaghavul.jegherek : Ideophone

dʒɛ́ɣɛ́rɛ́k ‘thin/fragile’ (8c).

Equations

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

def Mwaghavul.gokshirok : Ideophone

gɔ̀kʃìrɔ̀k ‘old or abnormal’ (8d).

Equations

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

def Mwaghavul.zongilong : Ideophone

zɔ̀ngɨ̀lɔ̀ŋ ‘long and thin’ (8d).

Equations

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

def Mwaghavul.salmutat : Ideophone

sàlmùtàt ‘sluggish’ (8d).

Equations

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

def Mwaghavul.dighirik : Ideophone

dɨ̀ɣɨ̀rɨ̀k ‘being big and lazy’ (8d).

Equations

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

def Mwaghavul.jumHeavy : Ideophone

dʒùm ‘heavy water plop’ (9a).

Equations

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

def Mwaghavul.kurashSlow : Ideophone

kùràʃ ‘slow scratching sound’ (9a).

Equations

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

def Mwaghavul.kwaasSlow : Ideophone

kwàːs ‘slow foot-dragging sound’ (9a).

Equations

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

def Mwaghavul.tirat : Ideophone

tɨ̀ràt ‘sound of sipping’ (9a).

Equations

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

def Mwaghavul.jumLight : Ideophone

dʒúm ‘light water plop’ (9b).

Equations

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

def Mwaghavul.kurashFast : Ideophone

kúráʃ ‘fast scratching sound’ (9b).

Equations

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

def Mwaghavul.kwaasFast : Ideophone

kwáːs ‘fast foot-dragging sound’ (9b).

Equations

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

def Mwaghavul.weng : Ideophone

wɛ́ŋ ‘sound of buzzing’ (9b).

Equations

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

def Mwaghavul.girgir : Ideophone

gɨ̀r-gɨ̀r ‘sound of a moving truck’ (10a).

Equations

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

def Mwaghavul.wurwur : Ideophone

wùr-wùr ‘in a rush’ (10a).

Equations

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

def Mwaghavul.tengteng : Ideophone

tɛ̀ŋ-tɛ̀ŋ ‘zigzag’ (10a).

Equations

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

def Mwaghavul.zetzet : Ideophone

zɛ̀t-zɛ̀t ‘hurried walk’ (10a).

Equations

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

def Mwaghavul.wuretwuret : Ideophone

wùrɛ̀t-wùrɛ̀t ‘fast walk’ (10a).

Equations

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

def Mwaghavul.shuretshuret : Ideophone

ʃùrɛ̀t-ʃùrɛ̀t ‘profusely crying’ (10a).

Equations

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

def Mwaghavul.kipetkipet : Ideophone

kɨ́pɛ́t-kɨ́pɛ́t ‘flip-flop sound’ (10b).

Equations

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

def Mwaghavul.wulengwuleng : Ideophone

wúlɛ́ŋ-wúlɛ́ŋ ‘smart look’ (10b).

Equations

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

def Mwaghavul.zonzon : Ideophone

zɔ́n-zɔ́n ‘describe aimless movement’ (10b).

Equations

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

def Mwaghavul.ideophones : List Ideophone

The dataset; ram-ram ‘describes something exciting’ (10c), printed without tone marks, is omitted.

Equations

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