Documentation

Linglib.Theories.Phonology.Features

Phonological Features #

Complete segmental feature inventory following @cite{hayes-2009} Introductory Phonology, Ch 4. The 26 binary features are organized into manner (root), laryngeal, and place (labial, coronal, dorsal) categories.

Prosodic features [stress] and [long] are excluded — Hayes treats stress as a syllable-level property (Ch 14), not a segmental feature.

This module provides the feature inventory consumed by OT, autosegmental, and syllable analyses.

@cite{hayes-2009}

source
inductive Theories.Phonology.Feature :
Type

Distinctive phonological features (binary-valued).

Complete segmental inventory from @cite{hayes-2009}:

  • Manner (root): syllabic, consonantal, sonorant, approximant, continuant, delayedRelease, nasal, lateral, strident, tap, trill
  • Laryngeal: voice, spreadGlottis, constrGlottis
  • Place (Labial): labial, round, labiodental
  • Place (Coronal): coronal, anterior, distributed
  • Place (Dorsal): dorsal, high, low, front, back, tense

The sonority hierarchy (Hayes Table 4.1) is decomposed as: [±sonorant] > [±approximant] > [±consonantal] > [±syllabic], yielding 5 natural classes (obstruent, nasal, liquid, glide, vowel).

Instances For
    source
    instance Theories.Phonology.instDecidableEqFeature :
    DecidableEq Feature
    Equations
    source
    instance Theories.Phonology.instBEqFeature :
    BEq Feature
    Equations
    source
    def Theories.Phonology.instBEqFeature.beq :
    Feature → Feature → Bool
    Equations
    Instances For
      source
      def Theories.Phonology.instReprFeature.repr :
      Feature → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        instance Theories.Phonology.instReprFeature :
        Repr Feature
        Equations
        source
        @[reducible, inline]
        abbrev Theories.Phonology.FeatureVal :
        Type

        A feature value: some true = [+F], some false = [−F], none = unspecified.

        Equations
        Instances For
          source
          def Theories.Phonology.Feature.isMajorClass :
          Feature → Bool

          Is this a manner / root feature?

          Equations
          Instances For
            source
            def Theories.Phonology.Feature.isLaryngeal :
            Feature → Bool

            Is this a laryngeal feature?

            Equations
            Instances For
              source
              def Theories.Phonology.Feature.isPlace :
              Feature → Bool

              Is this a place feature (any articulator node)?

              Equations
              Instances For
                source
                def Theories.Phonology.Feature.isLabial :
                Feature → Bool

                Is this a labial place feature?

                Equations
                Instances For
                  source
                  def Theories.Phonology.Feature.isCoronal :
                  Feature → Bool

                  Is this a coronal place feature?

                  Equations
                  Instances For
                    source
                    def Theories.Phonology.Feature.isDorsal :
                    Feature → Bool

                    Is this a dorsal place feature?

                    Equations
                    Instances For
                      source
                      structure Theories.Phonology.Segment :
                      Type

                      A segment represented as a (partial) specification of features. Unspecified features return none.

                      Instances For
                        source
                        def Theories.Phonology.Segment.specified (s : Segment) (f : Feature) :
                        Bool

                        Is feature f specified (either [+F] or [−F])?

                        Equations
                        Instances For
                          source
                          def Theories.Phonology.Segment.hasValue (s : Segment) (f : Feature) (v : Bool) :
                          Bool

                          Does feature f have value v?

                          Equations
                          Instances For
                            source
                            def Theories.Phonology.Feature.allFeatures :
                            List Feature

                            All 26 features in declaration order.

                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For
                              source
                              theorem Theories.Phonology.allFeatures_length :
                              Feature.allFeatures.length = 26
                              source
                              theorem Theories.Phonology.allFeatures_complete (f : Feature) :
                              f ∈ Feature.allFeatures

                              Every Feature constructor appears in allFeatures.

                              source
                              instance Theories.Phonology.instBEqSegment :
                              BEq Segment

                              Segment equality by checking all 26 features. Two segments are BEq-equal iff they agree on every feature value.

                              Equations
                              • One or more equations did not get rendered due to their size.
                              source
                              instance Theories.Phonology.instDecidableEqSegment :
                              DecidableEq Segment

                              Decidable equality on segments via exhaustive feature comparison. Enables native_decide on segment-level goals and OT tableaux over List Segment candidates.

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