Docs / Phonology / Autosegmental / Skeleton

The CV skeleton

import Linglib.Phonology.Autosegmental.Skeleton · namespace Autosegmental

The skeleton is the timing tier of an autosegmental representation, a sequence of slots each consonantal or vocalic, to which the melodies associate. A prosodic template in McCarthy's theory of nonconcatenative morphology is a skeleton, and in Strict CV the skeleton alternates consonantal and vocalic slots.

Main definitions

Slot: a consonantal or vocalic timing slot.
Skeleton: a sequence of slots, with Skeleton.cSlots and Skeleton.vSlots the positions of its consonantal and vocalic slots.

References

McCarthy 1981, A Prosodic Theory of Nonconcatenative Morphology formalized
Lowenstamm 1996, CV as the Only Syllable Type

Declarations

A slot of the skeleton is consonantal or vocalic.

inductive Slot L35–41

:

C : Slot
A consonantal slot.
V : Slot
A vocalic slot.

Derives DecidableEq, Repr.

Used by Skeleton, Skeleton.cSlots, Skeleton.vSlots

Used in Phonology/StrictCV/Skeleton, CaviraniVandenWyngaerd2026, Faust2026, LaoideKemp2026, McCarthy1981

A skeleton is a sequence of timing slots.

@[reducible, inline] abbrev Skeleton L43–44

:

Skeleton = List Slot

Built from

Used by Skeleton.cSlots, Skeleton.vSlots

Used in Fragments/Tangale/Phonology, Morphology/Morphotactics/TemplateMatch, AfkirZellou2025, Arad2005, Faust2026 and 1 more

The positions of the consonantal slots, in order.

def Skeleton.cSlots L48–49

(t : Skeleton) :

List ℕ

t.cSlots = List.findIdxs (fun (x : Slot) => x == Slot.C) t

Built from ,

Used in Morphology/Morphotactics/Association, Morphology/Morphotactics/TemplateMatch

The positions of the vocalic slots, in order.

def Skeleton.vSlots L51–52

(t : Skeleton) :

List ℕ

t.vSlots = List.findIdxs (fun (x : Slot) => x == Slot.V) t

Built from ,

Used in Morphology/Morphotactics/Association