Poko Tonal Fragment #

Lexical tone data for Poko (Poko-Rawo; Glottolog rawo1244, ISO 639-3 rwa), a Skou language of Sandaun Province, Papua New Guinea (~100 speakers, [McPD21]). Three contrastive tone levels (H, M, L) plus toneless syllables and floating tones; the TBU is the syllable. Lexical melodies span Ø, M, MH, LM, LH, M^H and double-floating ^L∅^H, with floating L only stem-initial and floating H only stem-final ([McPL26] ex. 3, §2.2); simple L and H melodies are absent — [McP22] derives the gap from edge constraints (NonInitial(H), NonFinal(L)), while [McPL26] speculate an extreme OCP response.

Just enough stems for the [McPL26] tableaux; promote to a fuller fragment when a second Poko paper arrives.

Main definitions #

Poko.Syll — the stems, one morpheme each (Syll.morpheme).
Poko.Syll.melody — each stem's lexical melody: tones, TBU, and pre-linking ([Rol18] §2.1; the floating H of /M^H/ stems is the unlinked element).
Poko.Form — autosegmental forms (FloatingForm Syll TRN).

Syllables #

source

inductive Poko.Syll :

Type

Poko syllables for the [McPL26] tableaux: fig. 3 (kak, ri, do); eq. (24) (nan, ri, na); eq. (27) (kak, ka); eq. (30) (kak, ili); eq. (22a) (ne).

kak : Syll
3sg.m possessive kāk (melody /M^H/).
ri : Syll
Pig stem rī (melody /M^H/).
do : Syll
Get verb dō (melody /M^H/).
nan : Syll
1sg pronoun nãn — possessor 'my' and subject 'I' (melody /M/).
na : Syll
Eat verb nã (melody /M/).
ka : Syll
Friend stem kǎ (melody /MH/, surfacing as a rise; eq. 26a).
ili : Syll
Bamboo stem ìlí (melody /LH/; disyllabic in the language, collapsed to a single backbone element here; eq. 28a).
ne : Syll
Make.1sg verb stem ne (toneless; eq. 22a).

Instances For

source

@[implicit_reducible]

instance Poko.instDecidableEqSyll :

DecidableEq Syll

Equations

Poko.instDecidableEqSyll x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

source

@[implicit_reducible]

instance Poko.instReprSyll :

Repr Syll

Equations

Poko.instReprSyll = { reprPrec := Poko.instReprSyll.repr }

source

def Poko.instReprSyll.repr :

Syll → ℕ → Std.Format

Equations

Poko.instReprSyll.repr Poko.Syll.kak prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.kak")).group prec✝
Poko.instReprSyll.repr Poko.Syll.ri prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.ri")).group prec✝
Poko.instReprSyll.repr Poko.Syll.do prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.do")).group prec✝
Poko.instReprSyll.repr Poko.Syll.nan prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.nan")).group prec✝
Poko.instReprSyll.repr Poko.Syll.na prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.na")).group prec✝
Poko.instReprSyll.repr Poko.Syll.ka prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.ka")).group prec✝
Poko.instReprSyll.repr Poko.Syll.ili prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.ili")).group prec✝
Poko.instReprSyll.repr Poko.Syll.ne prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Poko.Syll.ne")).group prec✝

Instances For

Morphemes and melodies #

source

def Poko.Syll.morpheme :

Syll → Morphology.WordStructure.Morpheme

Stable morpheme per stem, keyed by the syllable's surface form.

Equations

Poko.Syll.kak.morpheme = { form := "kak" }
Poko.Syll.ri.morpheme = { form := "ri" }
Poko.Syll.do.morpheme = { form := "do" }
Poko.Syll.nan.morpheme = { form := "nan" }
Poko.Syll.na.morpheme = { form := "na" }
Poko.Syll.ka.morpheme = { form := "ka" }
Poko.Syll.ili.morpheme = { form := "ili" }
Poko.Syll.ne.morpheme = { form := "ne" }

Instances For

source

def Poko.Syll.melody (s : Syll) :

Autosegmental.Graph (Autosegmental.TierSpec Tone.TRN) (Autosegmental.SegSpec Syll)

Each stem's lexical melody ([McPL26] ex. 3): tones over the stem's single TBU, with the lexical pre-linking — the H of an /M^H/ stem is the sole unlinked (floating) element.

Equations