Finnish Consonant Gradation [Kar18]

[Hay09]

Consonant gradation is a morphophonological alternation affecting stops at morpheme-internal syllable boundaries in Finnish ([Kar18], Chs. 4–5). The strong grade appears in open syllables; the weak grade appears in closed syllables (i.e., before a coda consonant).

Quantitative gradation

Geminate stops shorten:

• pp → p, tt → t, kk → k

Qualitative gradation

Single stops weaken:

• p → v, t → d, k → ∅ (deletion)
• mp → mm, nk → ng, lt → ll, rt → rr (assimilatory weakening)

Formalization

We model the quantitative and qualitative rules as SPE Rules. The conditioning environment — closed vs. open syllable — is approximated by right context: a following consonant signals a closed syllable.

def Finnish.ConsonantGradation.p_stop : Phonology.Segment

Voiceless bilabial stop /p/: [−cont, −voice, +labial, −coronal, −dorsal].

Equations

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

def Finnish.ConsonantGradation.t_stop : Phonology.Segment

Voiceless alveolar stop /t/: [−cont, −voice, +coronal, +anterior].

Equations

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

def Finnish.ConsonantGradation.k_stop : Phonology.Segment

Voiceless velar stop /k/: [−cont, −voice, +dorsal, −labial, −coronal].

Equations

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

def Finnish.ConsonantGradation.v_fricative : Phonology.Segment

Voiced labial continuant /v/: [+cont, +voice, +labial].

Equations

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

def Finnish.ConsonantGradation.d_stop : Phonology.Segment

Voiced alveolar stop /d/: [−cont, +voice, +coronal, +anterior].

Equations

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

def Finnish.ConsonantGradation.consonant : Phonology.Segment

A consonant: [+cons, −syll] (natural class for right context).

Equations

• Finnish.ConsonantGradation.consonant = Phonology.Segment.ofSpecs [(Phonology.Feature.consonantal, true), (Phonology.Feature.syllabic, false)]

def Finnish.ConsonantGradation.ppGradation : Subregular.LocalRewrite.Rule

Quantitative pp → p: geminate voiceless bilabial shortens before a consonant. Modeled as: the second /p/ of a geminate is deleted when followed by a consonant (closed syllable).

Equations

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

def Finnish.ConsonantGradation.ttGradation : Subregular.LocalRewrite.Rule

Quantitative tt → t: geminate voiceless alveolar shortens.

Equations

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

def Finnish.ConsonantGradation.kkGradation : Subregular.LocalRewrite.Rule

Quantitative kk → k: geminate voiceless velar shortens.

Equations

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

def Finnish.ConsonantGradation.pGradation : Subregular.LocalRewrite.Rule

Qualitative p → v: single voiceless bilabial becomes a voiced labial continuant before a consonant.

Equations

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

def Finnish.ConsonantGradation.tGradation : Subregular.LocalRewrite.Rule

Qualitative t → d: single voiceless alveolar becomes voiced before a consonant.

Equations

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

def Finnish.ConsonantGradation.kGradation : Subregular.LocalRewrite.Rule

Qualitative k → ∅: single voiceless velar deletes before a consonant.

Equations

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

inductive Finnish.ConsonantGradation.GradationType : Type

Classification of a gradation rule: quantitative (geminate shortening) or qualitative (quality change or deletion).

• quantitative : GradationType
• qualitative : GradationType

@[implicit_reducible]

instance Finnish.ConsonantGradation.instDecidableEqGradationType : DecidableEq GradationType

Equations

• Finnish.ConsonantGradation.instDecidableEqGradationType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Finnish.ConsonantGradation.instReprGradationType.repr : GradationType → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Finnish.ConsonantGradation.instReprGradationType : Repr GradationType

Equations

• Finnish.ConsonantGradation.instReprGradationType = { reprPrec := Finnish.ConsonantGradation.instReprGradationType.repr }

structure Finnish.ConsonantGradation.GradationPair : Type

A consonant gradation pair: strong and weak grades with classification.

• strong : String
• weak : String
• gradationType : GradationType

def Finnish.ConsonantGradation.instReprGradationPair.repr : GradationPair → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Finnish.ConsonantGradation.instReprGradationPair : Repr GradationPair

Equations

• Finnish.ConsonantGradation.instReprGradationPair = { reprPrec := Finnish.ConsonantGradation.instReprGradationPair.repr }

@[implicit_reducible]

instance Finnish.ConsonantGradation.instBEqGradationPair : BEq GradationPair

Equations

• Finnish.ConsonantGradation.instBEqGradationPair = { beq := Finnish.ConsonantGradation.instBEqGradationPair.beq }

def Finnish.ConsonantGradation.instBEqGradationPair.beq : GradationPair → GradationPair → Bool

Equations

• One or more equations did not get rendered due to their size.
• Finnish.ConsonantGradation.instBEqGradationPair.beq x✝¹ x✝ = false

def Finnish.ConsonantGradation.principalPairs : List GradationPair

The six principal gradation patterns (Karlsson §4.1).

Equations

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

theorem Finnish.ConsonantGradation.quantitative_count : (List.filter (fun (x : GradationPair) => x.gradationType == GradationType.quantitative) principalPairs).length = 3

There are exactly 3 quantitative gradation pairs.

theorem Finnish.ConsonantGradation.qualitative_count : (List.filter (fun (x : GradationPair) => x.gradationType == GradationType.qualitative) principalPairs).length = 3

There are exactly 3 qualitative gradation pairs.

theorem Finnish.ConsonantGradation.quantitative_shortening : ((List.filter (fun (x : GradationPair) => x.gradationType == GradationType.quantitative) principalPairs).all fun (p : GradationPair) => p.strong.length == p.weak.length + 1) = true

All quantitative pairs involve geminate shortening (strong form is longer than weak form by exactly 1 character).

theorem Finnish.ConsonantGradation.k_deletion_unique : (List.filter (fun (p : GradationPair) => p.weak == "") principalPairs).length = 1

The k → ∅ qualitative alternation is the only deletion (empty weak grade).

theorem Finnish.ConsonantGradation.p_gradation_voices : pGradation.effect = Subregular.LocalRewrite.Effect.changeFeatures (Phonology.Segment.ofSpecs [(Phonology.Feature.continuant, true), (Phonology.Feature.voice, true)])

p → v rule changes voiceless to voiced + continuant.

theorem Finnish.ConsonantGradation.t_gradation_voices : tGradation.effect = Subregular.LocalRewrite.Effect.changeFeatures (Phonology.Segment.ofSpecs [(Phonology.Feature.voice, true)])

t → d rule changes only voicing.

theorem Finnish.ConsonantGradation.k_gradation_deletes : kGradation.effect = Subregular.LocalRewrite.Effect.delete

k → ∅ rule deletes.