Phonological Alternation Data

Theory-neutral empirical observations of phonological alternations. Each datum records an underlying/surface form pair with the alternation type and environmental context, without committing to any particular phonological framework (SPE, OT, etc.).

inductive Phenomena.PhonologicalAlternation.AlternationType : Type

Classification of phonological alternation.

• featureChange : AlternationType

  Segment changes one or more feature values.

• deletion : AlternationType

  Segment is deleted from the string.

• insertion : AlternationType

  Segment is inserted into the string.

instance Phenomena.PhonologicalAlternation.instDecidableEqAlternationType : DecidableEq AlternationType

Equations

• Phenomena.PhonologicalAlternation.instDecidableEqAlternationType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.PhonologicalAlternation.instBEqAlternationType.beq : AlternationType → AlternationType → Bool

Equations

• Phenomena.PhonologicalAlternation.instBEqAlternationType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.PhonologicalAlternation.instBEqAlternationType : BEq AlternationType

Equations

• Phenomena.PhonologicalAlternation.instBEqAlternationType = { beq := Phenomena.PhonologicalAlternation.instBEqAlternationType.beq }

def Phenomena.PhonologicalAlternation.instReprAlternationType.repr : AlternationType → Nat → Std.Format

Equations

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

instance Phenomena.PhonologicalAlternation.instReprAlternationType : Repr AlternationType

Equations

• Phenomena.PhonologicalAlternation.instReprAlternationType = { reprPrec := Phenomena.PhonologicalAlternation.instReprAlternationType.repr }

structure Phenomena.PhonologicalAlternation.AlternationDatum : Type

A single observed phonological alternation.

• language : String
• name : String
• description : String
• underlyingForm : String
• surfaceForm : String
• environment : String
• alternationType : AlternationType

def Phenomena.PhonologicalAlternation.instReprAlternationDatum.repr : AlternationDatum → Nat → Std.Format

Equations

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

instance Phenomena.PhonologicalAlternation.instReprAlternationDatum : Repr AlternationDatum

Equations

• Phenomena.PhonologicalAlternation.instReprAlternationDatum = { reprPrec := Phenomena.PhonologicalAlternation.instReprAlternationDatum.repr }

def Phenomena.PhonologicalAlternation.englishPreglottalization : AlternationDatum

English preglottalization: voiceless stops become glottalized word-finally. /kæt/ → [kætˀ]

Equations

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

def Phenomena.PhonologicalAlternation.englishPostnasalDeletion : AlternationDatum

English postnasal /t/ deletion: voiceless coronal stops delete between a nasal and a vowel. /wɪntər/ → [wɪnər]

Equations

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

def Phenomena.PhonologicalAlternation.koreanStopNasalization : AlternationDatum

Korean stop nasalization: non-affricate stops become nasals before nasal consonants. /pakmul/ → [paŋmul]

Equations

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

def Phenomena.PhonologicalAlternation.englishNasalPlaceAssimilation_nk : AlternationDatum

English nasal place assimilation (velar): /n/ → [ŋ] before /k/. /ɪnk/ → [ɪŋk] (e.g., "ink")

Equations

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

def Phenomena.PhonologicalAlternation.englishNasalPlaceAssimilation_np : AlternationDatum

English nasal place assimilation (labial): /n/ → [m] before /p/. /ɪnp/ → [ɪmp] (e.g., "input")

Equations

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

theorem Phenomena.PhonologicalAlternation.preglottalization_is_feature_change : englishPreglottalization.alternationType = AlternationType.featureChange

All three alternations are classified correctly.

theorem Phenomena.PhonologicalAlternation.postnasal_deletion_is_deletion : englishPostnasalDeletion.alternationType = AlternationType.deletion

theorem Phenomena.PhonologicalAlternation.korean_nasalization_is_feature_change : koreanStopNasalization.alternationType = AlternationType.featureChange