Tigrinya Phonological Inventory and Verbal Roots #
@cite{leslau-1941} @cite{berhane-1991} @cite{buckley-1994} @cite{buckley-1997-vowel-length} @cite{denais-1990} @cite{lowenstamm-prunet-1985} @cite{faust-lampitelli-2026}
Theory-neutral IPA inventory and the verbal roots used in the @cite{faust-lampitelli-2026} guttural-synersis analysis.
Per fragment-schema discipline (CLAUDE.md), this file carries only
consensus typological metadata — IPA strings, the consonantal-root
inventory, and the unanimous facts about which segments are gutturals.
The Element-Theory decomposition of these segments (e.g. that
pharyngeals are headed by |A|, [ʌ] is non-headed |A|, [a] is headed |A|)
is paper-specific theoretical apparatus and lives in
Phenomena/Phonology/Studies/FaustLampitelli2026.lean as a per-segment
projection, not in this fragment.
Vowel inventory #
Following @cite{leslau-1941}, @cite{berhane-1991}, @cite{denais-1990}, and the paper's §2.1: Tigrinya has six full vowel qualities [a, ʌ, i, u, e, o] plus a weak vowel [ɨ]. The weak vowel is considered epenthetic by @cite{buckley-1994}, @cite{denais-1990}, @cite{berhane-1991} and the paper, occurring only where its absence would yield a phonotactic violation.
Guttural inventory #
The paper §2.1: "the consonantal inventories of both languages include a class of sounds known as gutturals. In both languages, that group includes two glottals [ʔ, h] and two pharyngeals [ʕ, ħ]." The extended ET inventory in eq. (20) lists [χ, ʁ] as well, but the paper's footnote 14 confirms they are unattested in Tigrinya/Tigre. This file lists only the four attested gutturals.
Cross-reference: PHOIBLE 2.0 #
@cite{moran-mccloy-2019} inventory ID 1350 (tigr1271, Tigrinya,
source ph) confirms both the 7-vowel inventory {a, e, i, o, u, ɨ, ʌ} and the 4-guttural inventory {ʔ, h, ʕ, ħ} exactly as
described above. The paper's footnote-14 claim that the uvulars
[χ, ʁ] are unattested is confirmed: neither is in the PHOIBLE
Tigrinya inventory. This fragment is therefore consensus typology
across the paper's empirical sources (Berhane, Buckley, Denais,
Leslau) and PHOIBLE's ph donor.
Naming convention #
Lean identifiers cannot contain the IPA characters ʔ, ʕ, ħ, ʌ, ɨ.
Constructors and root definitions therefore use ASCII names with the
docstring stating the IPA form. Roots are semantic-named (e.g. whip
rather than √grf) for readability, with the consonantal melody
recorded in the body and explained in the docstring.
Verbal roots #
Tigrinya verbs are templatic (@cite{faust-lampitelli-2023}): a triradical (or biradical/quadriradical) consonantal root combines with a vocalic template. The paper uses a small inventory exemplifying the four scenarios its analysis treats:
- roots with no guttural radical (control class)
- roots with a final-position guttural
- roots with a medial-position guttural
- roots with weak |I|-final radicals (the bi-morphemic /iIu/ → [ju] syneresis case)
Roots are stored as Core.Morphology.Root String per the existing
Hebrew/Amharic pattern.
The Tigrinya vowel inventory: six full qualities + weak [ɨ]. Following @cite{berhane-1991}, @cite{denais-1990}, @cite{leslau-1941}.
Constructor naming: ASCII names (since Lean identifiers cannot
contain the IPA characters ʌ, ɨ); the IPA form is given in each
docstring and recovered via toIPA.
- a : Vowel
IPA [a] — headed low vowel (paper eq. 21). Co-occurs with adjacent gutturals via the lowering process (paper eq. 4).
- aBare : Vowel
IPA [ʌ] — non-headed low vowel (the unmarked low vowel; paper eq. 21). The vowel underlyingly preceding gutturals; surfaces as [a] when a guttural is adjacent.
- i : Vowel
IPA [i] — high front vowel.
- u : Vowel
IPA [u] — high back rounded vowel.
- e : Vowel
IPA [e] — mid front vowel.
- o : Vowel
IPA [o] — mid back rounded vowel.
- weak : Vowel
IPA [ɨ] — weak (epenthetic) vowel. Phonetic realization of an empty nucleus per paper eq. (22) + @cite{buckley-1994}, @cite{faust-2024}.
Instances For
Equations
- Fragments.Tigrinya.Phonology.instDecidableEqVowel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
IPA string of a vowel.
Equations
- Fragments.Tigrinya.Phonology.Vowel.a.toIPA = "a"
- Fragments.Tigrinya.Phonology.Vowel.aBare.toIPA = "ʌ"
- Fragments.Tigrinya.Phonology.Vowel.i.toIPA = "i"
- Fragments.Tigrinya.Phonology.Vowel.u.toIPA = "u"
- Fragments.Tigrinya.Phonology.Vowel.e.toIPA = "e"
- Fragments.Tigrinya.Phonology.Vowel.o.toIPA = "o"
- Fragments.Tigrinya.Phonology.Vowel.weak.toIPA = "ɨ"
Instances For
The vowel is low ([a] or [ʌ]). Both contain |A| in ET; in Hayes binary terms, both are [+low]. The headedness contrast between them is paper-specific apparatus.
Equations
- Fragments.Tigrinya.Phonology.Vowel.a.IsLow = True
- Fragments.Tigrinya.Phonology.Vowel.aBare.IsLow = True
- x✝.IsLow = False
Instances For
Equations
- Fragments.Tigrinya.Phonology.Vowel.a.instDecidablePredIsLow = isTrue trivial
- Fragments.Tigrinya.Phonology.Vowel.aBare.instDecidablePredIsLow = isTrue trivial
- Fragments.Tigrinya.Phonology.Vowel.i.instDecidablePredIsLow = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.u.instDecidablePredIsLow = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.e.instDecidablePredIsLow = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.o.instDecidablePredIsLow = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.weak.instDecidablePredIsLow = isFalse not_false
The vowel is high ([i] or [u]).
Equations
- Fragments.Tigrinya.Phonology.Vowel.i.IsHigh = True
- Fragments.Tigrinya.Phonology.Vowel.u.IsHigh = True
- x✝.IsHigh = False
Instances For
Equations
- Fragments.Tigrinya.Phonology.Vowel.i.instDecidablePredIsHigh = isTrue trivial
- Fragments.Tigrinya.Phonology.Vowel.u.instDecidablePredIsHigh = isTrue trivial
- Fragments.Tigrinya.Phonology.Vowel.a.instDecidablePredIsHigh = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.aBare.instDecidablePredIsHigh = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.e.instDecidablePredIsHigh = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.o.instDecidablePredIsHigh = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.weak.instDecidablePredIsHigh = isFalse not_false
The vowel is the epenthetic/weak [ɨ].
Equations
- Fragments.Tigrinya.Phonology.Vowel.weak.IsEpenthetic = True
- x✝.IsEpenthetic = False
Instances For
Equations
- Fragments.Tigrinya.Phonology.Vowel.weak.instDecidablePredIsEpenthetic = isTrue trivial
- Fragments.Tigrinya.Phonology.Vowel.a.instDecidablePredIsEpenthetic = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.aBare.instDecidablePredIsEpenthetic = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.i.instDecidablePredIsEpenthetic = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.u.instDecidablePredIsEpenthetic = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.e.instDecidablePredIsEpenthetic = isFalse not_false
- Fragments.Tigrinya.Phonology.Vowel.o.instDecidablePredIsEpenthetic = isFalse not_false
The four gutturals attested in Tigrinya per @cite{faust-lampitelli-2026} §2.1: two glottals [ʔ, h] and two pharyngeals [ʕ, ħ]. The uvulars [χ, ʁ] from the extended ET inventory (paper eq. 20) are unattested in Tigrinya/Tigre (paper n. 14).
- glottalStop : Guttural
IPA [ʔ] glottal stop.
- h : Guttural
IPA [h] voiceless glottal fricative.
- pharyngealVoiced : Guttural
IPA [ʕ] voiced pharyngeal fricative. Pharyngeal — headed by |A| in paper eq. 20.
- pharyngealVoiceless : Guttural
IPA [ħ] voiceless pharyngeal fricative. Pharyngeal — headed by |A| in paper eq. 20.
Instances For
Equations
- Fragments.Tigrinya.Phonology.instDecidableEqGuttural x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
IPA string of a guttural.
Equations
Instances For
The guttural is a pharyngeal. Pharyngeals (ħ, ʕ) and laryngeals (ʔ, h) are differently classed in the paper's eq. 20: pharyngeals are headed by |A|, laryngeals are not. The headedness analysis itself lives in the study file; this predicate is the consensus-typology classification.
Equations
Instances For
Equations
- Fragments.Tigrinya.Phonology.Guttural.pharyngealVoiced.instDecidablePredIsPharyngeal = isTrue trivial
- Fragments.Tigrinya.Phonology.Guttural.pharyngealVoiceless.instDecidablePredIsPharyngeal = isTrue trivial
- Fragments.Tigrinya.Phonology.Guttural.glottalStop.instDecidablePredIsPharyngeal = isFalse not_false
- Fragments.Tigrinya.Phonology.Guttural.h.instDecidablePredIsPharyngeal = isFalse not_false
The guttural is a laryngeal (glottal).
Equations
Instances For
Equations
- Fragments.Tigrinya.Phonology.Guttural.glottalStop.instDecidablePredIsLaryngeal = isTrue trivial
- Fragments.Tigrinya.Phonology.Guttural.h.instDecidablePredIsLaryngeal = isTrue trivial
- Fragments.Tigrinya.Phonology.Guttural.pharyngealVoiced.instDecidablePredIsLaryngeal = isFalse not_false
- Fragments.Tigrinya.Phonology.Guttural.pharyngealVoiceless.instDecidablePredIsLaryngeal = isFalse not_false
The four-element list of attested Tigrinya gutturals.
Equations
- One or more equations did not get rendered due to their size.
Instances For
√grf — 'whip'. Triradical, no gutturals. The control case for syneresis: paper PRF [gʌrif-e] (eq. 8a), no syncope across V-initial suffixes. Used throughout the paper as the non-guttural baseline.
Equations
- Fragments.Tigrinya.Phonology.whip = { segments := ["g", "r", "f"] }
Instances For
√smʕ — 'hear'. Triradical, final-position pharyngeal /ʕ/. Paper DEP.PRF [sʌmaʕ-] (eq. 4b), IMP.M [simaʕ] vs IMP.F [simʕ-i] (eq. 10c) — syneresis applies when /ʌ/ + /ʕ/ are open-syllable adjacent before a vowel-initial suffix.
Equations
- Fragments.Tigrinya.Phonology.hear = { segments := ["s", "m", "ʕ"] }
Instances For
√sħb — 'pull'. Triradical, medial-position pharyngeal /ħ/. Paper
DEP.PRF row in eq. 4d shows saħab (no hyphen on this row); eq.
15d shows the variant sahab- (~ sɨħab-). The opaque-syneresis
case (paper §2.3 eq. 16): /sʌħʌb/ → fusion + lowering → /s_ħab/
→ epenthesis [siħab] or trans-guttural harmony [sahab].
Equations
- Fragments.Tigrinya.Phonology.pull = { segments := ["s", "ħ", "b"] }
Instances For
√ʔsr — 'arrest'. Triradical, initial-position glottal stop. Paper DEP.PRF [ʔasʌr-] (eq. 4c), PRF [ʔasir-] — illustrates how the initial guttural interacts with stem vocalization.
Equations
- Fragments.Tigrinya.Phonology.arrest = { segments := ["ʔ", "s", "r"] }
Instances For
√stI — 'drink'. Bi-morphemic weak-final root: the third radical is the element /I/, which surfaces as [j] before vowels (paper eq. 8b). The PRF paradigm exhibits |I|-syneresis: /sʌtI-u/ → [sʌtj-u] (the /i/ vocalization fuses with the /I/ radical and only the glide surfaces). The parallel motivating the paper's |A|-syneresis analysis. The capital "I" in the third position marks it as the underlying ET element (not a vowel /i/).
Equations
- Fragments.Tigrinya.Phonology.drink = { segments := ["s", "t", "I"] }
Instances For
√mhr — 'teach'. Triradical, medial-position glottal /h/. Paper IMP [mahar] (eq. 7e); PASS-PRF [ti-mihir] ~ [ti-mɨhir] (eq. 17c) — the latter shows the unexpected /CʌGV/ → [CɨGV] pattern of eq. (17), where the V-position is retained as epenthetic [ɨ].
Equations
- Fragments.Tigrinya.Phonology.teach = { segments := ["m", "h", "r"] }
Instances For
√hrd — 'slaughter'. Triradical, initial /h/. Paper 2-PRF [ta-harrid] (eq. 7b) — the initial guttural triggers TGH so the prefix vowel surfaces as [a] instead of [i].
Equations
- Fragments.Tigrinya.Phonology.slaughter = { segments := ["h", "r", "d"] }
Instances For
√hdm — 'escape'. Paper 2-PRF [ta-hadim] (eq. 7c) — same TGH
pattern as slaughter.
Equations
- Fragments.Tigrinya.Phonology.escape = { segments := ["h", "d", "m"] }
Instances For
√sʔl — 'ask'. Triradical, medial /ʔ/. Paper IMP [saʔal] (eq. 7f)
- 2-IMPRF [ti-siʔil] / PASS-PRF [tisiʔil ~ ti-sɨʔil] (eq. 17d) — the [ɨ] alternant in PASS-PRF is the eq. (17) retention pattern.
Equations
- Fragments.Tigrinya.Phonology.ask = { segments := ["s", "ʔ", "l"] }
Instances For
√glh — 'uncover'. Triradical, final-position /h/. Paper IMP.M [gilah] / IMP.F [gilh-i] (eq. 10d) — final-guttural syneresis case.
Equations
- Fragments.Tigrinya.Phonology.uncover = { segments := ["g", "l", "h"] }
Instances For
√nbħ — 'bark'. Triradical, final-position /ħ/. Paper IMP.M [niβah] / IMP.F [nibh-i] (eq. 10b) — the IMP.M shows the lowering of the underlying /ʌ/ to [a] before the final guttural, while IMP.F shows syneresis (the /ʌ/ vacates V₂).
Equations
- Fragments.Tigrinya.Phonology.bark = { segments := ["n", "b", "ħ"] }
Instances For
√brk — 'bless'. Triradical, no guttural. Type-C verb (paper p. 12, with [a] after first radical throughout the inflection). Paper DEP.PRF [barʌk-ʌ] / GER [mi-bɨrak] (eq. 18c). The cooccurrence-restriction case: two heteromorphemic low elements are reduced non-locally across non-guttural /r/, with the first /a/ replaced by [ɨ] in the gerund — and the paper notes this is NOT phonotactically motivated since *[mibrak] would not pose a phonotactic problem (page 12).
Equations
- Fragments.Tigrinya.Phonology.bless = { segments := ["b", "r", "k"] }