Documentation

Linglib.Phenomena.PhonologicalAlternation.Studies.SPEDerivations

SPE Derivation Bridge #

Connects Fragment-level phonological rules to Phenomena-level alternation data via SPE ordered derivation. For each alternation datum, defines the underlying segment string, applies derive with the language's rule set, and verifies the output matches the expected surface form.

All theorems are proved by native_decide (finite segment data).

source
def Phenomena.PhonologicalAlternation.Studies.SPEDerivations.t_cg :
Theories.Phonology.Segment

Expected surface form: /t/ with [+c.g.] added.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.preglottalization_derives :
    (Theories.Phonology.RuleBased.derive [Fragments.English.Phonology.preglottalization] [Fragments.English.Phonology.k, Fragments.English.Phonology.æ, Fragments.English.Phonology.t] == [Fragments.English.Phonology.k, Fragments.English.Phonology.æ, t_cg]) = true

    UR /kæt/ → derive [preglottalization] → [kætˀ]. Word-final /t/ acquires [+c.g.]; /k/ is not word-final so is unchanged.

    source
    theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.preglottalization_preserves_length :
    (Theories.Phonology.RuleBased.derive [Fragments.English.Phonology.preglottalization] [Fragments.English.Phonology.k, Fragments.English.Phonology.æ, Fragments.English.Phonology.t]).length = 3

    The derivation output has the same length (feature change, not deletion).

    source
    theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.postnasal_deletion_derives :
    (Theories.Phonology.RuleBased.derive [Fragments.English.Phonology.postnasalDeletion] [Fragments.English.Phonology.w, Fragments.English.Phonology.laxI, Fragments.English.Phonology.n, Fragments.English.Phonology.t, Fragments.English.Phonology.schwa, Fragments.English.Phonology.r] == [Fragments.English.Phonology.w, Fragments.English.Phonology.laxI, Fragments.English.Phonology.n, Fragments.English.Phonology.schwa, Fragments.English.Phonology.r]) = true

    UR /wɪntər/ → derive [postnasalDeletion] → [wɪnər]. /t/ deletes between /n/ ([+nasal]) and /ə/ ([+syll]).

    source
    theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.postnasal_deletion_reduces_length :
    (Theories.Phonology.RuleBased.derive [Fragments.English.Phonology.postnasalDeletion] [Fragments.English.Phonology.w, Fragments.English.Phonology.laxI, Fragments.English.Phonology.n, Fragments.English.Phonology.t, Fragments.English.Phonology.schwa, Fragments.English.Phonology.r]).length = 5

    Deletion reduces the string by one segment.

    source
    def Phenomena.PhonologicalAlternation.Studies.SPEDerivations.k_nasalized :
    Theories.Phonology.Segment

    Expected surface form: /k/ nasalized to [+nasal, +voice, +son]. Preserves all other features of underlying /k/.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.korean_nasalization_derives :
      (Theories.Phonology.RuleBased.derive [Fragments.Korean.Phonology.stopNasalization] [Fragments.Korean.Phonology.p, Fragments.Korean.Phonology.a, Fragments.Korean.Phonology.k, Fragments.Korean.Phonology.m, Fragments.Korean.Phonology.u, Fragments.Korean.Phonology.l] == [Fragments.Korean.Phonology.p, Fragments.Korean.Phonology.a, k_nasalized, Fragments.Korean.Phonology.m, Fragments.Korean.Phonology.u, Fragments.Korean.Phonology.l]) = true

      UR /pakmul/ → derive [stopNasalization] → [paŋmul]. /k/ at position 2 nasalizes before /m/ ([+nasal]).

      source
      theorem Phenomena.PhonologicalAlternation.Studies.SPEDerivations.korean_nasalization_preserves_length :
      (Theories.Phonology.RuleBased.derive [Fragments.Korean.Phonology.stopNasalization] [Fragments.Korean.Phonology.p, Fragments.Korean.Phonology.a, Fragments.Korean.Phonology.k, Fragments.Korean.Phonology.m, Fragments.Korean.Phonology.u, Fragments.Korean.Phonology.l]).length = 6

      Nasalization preserves string length (feature change, not deletion).