Tarifit Consonant Inventory

@cite{afkir-zellou-2025}

Consonantal root data for Tarifit Berber (Amazigh, Afro-Asiatic; Glottocode: tari1263). Target words are CCəC triconsonantal verbs in the simple imperative form, from the production experiment in @cite{afkir-zellou-2025}.

Each word is specified by its three consonant natural classes on the Parker 8-level sonority scale (@cite{parker-2002}), enabling MaxEnt constraint evaluation based on cluster sonority profiles.

Prosodic template

Tarifit has non-concatenative morphology with consonantal roots and prosodic templates. The CCəC template places a "prosodic template" schwa between C2 and C3. The C1–C2 cluster may receive an intrusive schwa (articulatory in origin) or the word may surface vowelless (no schwa at all).

Spirantization

Singleton stops /b, d, t/ surface as fricatives [β, ð, θ] in all non-geminate environments (@cite{afkir-zellou-2025}). Natural class assignments below reflect surface realization.

Word list sourcing

Words are from the paper's 38-item CCəC target word list. Glosses marked with (p. 20) are verified from the paper's main text; others are from the paper's word list / online appendix.

structure Fragments.Tarifit.Inventory.TriconWord : Type

A CCəC target word from the Tarifit production experiment. The template schwa sits between C2 and C3.

• ipa : String
• gloss : String
• c1 : Theories.Phonology.Syllable.NatClass
• c2 : Theories.Phonology.Syllable.NatClass
• c3 : Theories.Phonology.Syllable.NatClass

def Fragments.Tarifit.Inventory.instDecidableEqTriconWord.decEq (x✝ x✝¹ : TriconWord) : Decidable (x✝ = x✝¹)

Equations

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

instance Fragments.Tarifit.Inventory.instDecidableEqTriconWord : DecidableEq TriconWord

Equations

• Fragments.Tarifit.Inventory.instDecidableEqTriconWord = Fragments.Tarifit.Inventory.instDecidableEqTriconWord.decEq

def Fragments.Tarifit.Inventory.instBEqTriconWord.beq : TriconWord → TriconWord → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Tarifit.Inventory.instBEqTriconWord.beq x✝¹ x✝ = false

instance Fragments.Tarifit.Inventory.instBEqTriconWord : BEq TriconWord

Equations

• Fragments.Tarifit.Inventory.instBEqTriconWord = { beq := Fragments.Tarifit.Inventory.instBEqTriconWord.beq }

def Fragments.Tarifit.Inventory.instReprTriconWord.repr : TriconWord → Nat → Std.Format

Equations

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

instance Fragments.Tarifit.Inventory.instReprTriconWord : Repr TriconWord

Equations

• Fragments.Tarifit.Inventory.instReprTriconWord = { reprPrec := Fragments.Tarifit.Inventory.instReprTriconWord.repr }

def Fragments.Tarifit.Inventory.TriconWord.isRising (w : TriconWord) : Bool

C1–C2 sonority profile: rising (C1 less sonorous than C2).

Equations

• w.isRising = decide (w.c1.parkerSonority < w.c2.parkerSonority)

def Fragments.Tarifit.Inventory.TriconWord.isFalling (w : TriconWord) : Bool

C1–C2 sonority profile: falling (C1 more sonorous than C2).

Equations

• w.isFalling = decide (w.c1.parkerSonority > w.c2.parkerSonority)

def Fragments.Tarifit.Inventory.TriconWord.isPlateauing (w : TriconWord) : Bool

C1–C2 sonority profile: plateauing (equal sonority).

Equations

• w.isPlateauing = (w.c1.parkerSonority == w.c2.parkerSonority)

def Fragments.Tarifit.Inventory.w_qreb : TriconWord

/qrəβ/ : VLS(1)–liquid(6)–VDF(4), rise = 5. Table 9 "almost exclusively" C1ǎC2 (@cite{afkir-zellou-2025}). -- UNVERIFIED: gloss inferred from Berber root Q-R-B; paper does not -- gloss this word (distinct from /qrəʕ/ 'rip!' on p. 20).

Equations

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

def Fragments.Tarifit.Inventory.w_qmes : TriconWord

/qməʕ/ 'suppress!' (p. 20): VLS(1)–nasal(5)–VDF(4), rise = 4. Table 9 "variably" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.w_srem : TriconWord

/srəm/ : VLF(3)–liquid(6)–nasal(5), rise = 3. Table 9 "almost exclusively" C1ǎC2 (@cite{afkir-zellou-2025}). -- UNVERIFIED: gloss inferred from Berber root S-R-M; paper does not -- gloss this word explicitly.

Equations

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

def Fragments.Tarifit.Inventory.w_ntef : TriconWord

/ntəf/ 'pluck!' (p. 20): nasal(5)–VLS(1)–VLF(3), fall = 4. Table 7 "often vowelless" (>30%); Table 9 "never" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.w_nqeb : TriconWord

/nqəβ/ 'pick!' (p. 20): nasal(5)–VLS(1)–VDF(4), fall = 4. Table 9 "variably" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.w_hkem : TriconWord

/ħkəm/ 'judge!' (p. 20): VLF(3)–VLS(1)–nasal(5), fall = 2. Table 9 "never" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.w_skhef : TriconWord

/sχəf/ 'pass out!' (p. 20): VLF(3)–VLF(3)–VLF(3), plateau. Table 7 "often vowelless" (13–20%); Table 9 "never" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.w_sfen : TriconWord

/sfən/ 'show!' (p. 20): VLF(3)–VLF(3)–nasal(5), plateau. Table 9 "never" C1ǎC2 (@cite{afkir-zellou-2025}).

Equations

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

def Fragments.Tarifit.Inventory.targetWords : List TriconWord

All target words from the production experiment used in our model.

Equations

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

theorem Fragments.Tarifit.Inventory.qreb_rising : w_qreb.isRising = true

theorem Fragments.Tarifit.Inventory.qmes_rising : w_qmes.isRising = true

theorem Fragments.Tarifit.Inventory.srem_rising : w_srem.isRising = true

theorem Fragments.Tarifit.Inventory.ntef_falling : w_ntef.isFalling = true

theorem Fragments.Tarifit.Inventory.nqeb_falling : w_nqeb.isFalling = true

theorem Fragments.Tarifit.Inventory.hkem_falling : w_hkem.isFalling = true

theorem Fragments.Tarifit.Inventory.skhef_plateauing : w_skhef.isPlateauing = true

theorem Fragments.Tarifit.Inventory.sfen_plateauing : w_sfen.isPlateauing = true