Laal prosodic fragment

[Lio22b]

Theory-neutral tone data for Laal (language isolate, southern Chad): the three contrastive tone heights H/M/L, the attested stem-level tone melodies (Table 2), and verb roots illustrating M-lowering. Transcriptional facts only — the subtonal [±upper]/[±raised] featural analysis and the M-lowering mechanism live in Studies/Lionnet2022Laal.lean.

inductive Laal.Prosody.Tone : Type

The three contrastive tone heights of Laal, contrasted in the minimal triplet kúmá/kūmā/kùmà (ex. 8). Theory-neutral transcription.

• H : Tone
• M : Tone
• L : Tone

@[implicit_reducible]

instance Laal.Prosody.instDecidableEqTone : DecidableEq Tone

Equations

• Laal.Prosody.instDecidableEqTone x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Laal.Prosody.instReprTone.repr : Tone → Nat → Std.Format

Equations

• Laal.Prosody.instReprTone.repr Laal.Prosody.Tone.H prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Laal.Prosody.Tone.H")).group prec✝
• Laal.Prosody.instReprTone.repr Laal.Prosody.Tone.M prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Laal.Prosody.Tone.M")).group prec✝
• Laal.Prosody.instReprTone.repr Laal.Prosody.Tone.L prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Laal.Prosody.Tone.L")).group prec✝

@[implicit_reducible]

instance Laal.Prosody.instReprTone : Repr Tone

Equations

• Laal.Prosody.instReprTone = { reprPrec := Laal.Prosody.instReprTone.repr }

@[implicit_reducible]

instance Laal.Prosody.instInhabitedTone : Inhabited Tone

Equations

• Laal.Prosody.instInhabitedTone = { default := Laal.Prosody.instInhabitedTone.default }

structure Laal.Prosody.StemEntry : Type

A Laal stem: segmental form, gloss, and stem-level tone melody.

• form : String
• gloss : String
• melody : List Tone

def Laal.Prosody.instReprStemEntry.repr : StemEntry → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Laal.Prosody.instReprStemEntry : Repr StemEntry

Equations

• Laal.Prosody.instReprStemEntry = { reprPrec := Laal.Prosody.instReprStemEntry.repr }

def Laal.Prosody.instDecidableEqStemEntry.decEq (x✝ x✝¹ : StemEntry) : Decidable (x✝ = x✝¹)

Equations

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

@[implicit_reducible]

instance Laal.Prosody.instDecidableEqStemEntry : DecidableEq StemEntry

Equations

• Laal.Prosody.instDecidableEqStemEntry = Laal.Prosody.instDecidableEqStemEntry.decEq

def Laal.Prosody.minimalTriplet : List StemEntry

The minimal tone triplet on a kVmV segmental frame (ex. 8): three stems contrasting in tone alone.

Equations

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

def Laal.Prosody.attestedMelodies : List (List Tone)

The seven regular stem-level tone melodies on mono- and disyllabic stems (Table 2). Every combination of H and L is attested; M occurs only as the sole tone — the empirical basis of the M-exclusivity (*MX/XM) generalisation.

Equations

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

def Laal.Prosody.mLoweringRoots : List StemEntry

Verb roots illustrating M-lowering: under stratum-2 suffixation the M-toned root lowers to L, while H- and L-toned roots are stable (ex. 10–11, 60).

Equations

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