Documentation

Studies.Clements1985

Clements (1985): the geometry of phonological features #

Clements replaces the SPE feature matrix by a tree of class nodes: a root node linked to the CV tier, a laryngeal and a supralaryngeal node below it, a manner and a place node below supralaryngeal, and each terminal feature hanging from one class node (his (3) and Appendix; §4 gives the content of each node). Assimilation is the spreading of one node ((5), after Mohanan), so the theory admits three types, total (the root), partial (a class node) and single-feature, and a rule that must reach two features with no common class node below supralaryngeal is total supralaryngeal assimilation, which is why the SPE rule (14) with [αnasal] in place of [αanterior] is unattested. The evidence is English coronal place assimilation ((10)–(13)), Icelandic preaspiration ((6)–(7), after Thráinsson), Klamath lateral rules ((8)–(9), after Barker), Sierra Popoluca nasalisation and release ((15)–(20), after Elson and Steriade's Shared Features Convention) and the Kikuyu and palatalisation cases of §5, and §4 splits the place features into a primary set P, present in consonants and vowels, and a secondary set S, normally absent from plain consonants. The tree is an instance of Phonology/FeatureGeometry.lean; its manner node, which the paper itself flags as possibly superfluous, is dropped by the later geometries formalized here (Studies/Sagey1986.lean, Studies/HalleVauxWolfe2000.lean).

Main definitions #

Main results #

Implementation notes #

classNode? is defined on the features the paper names and is none elsewhere, so the root's natural class is the paper's inventory rather than all of Hayes's; [labial] counts as primary by table (22). Spreading is Finset.piecewise on a node's natural class, so the trigger's unspecified features under the node replace the target's, as the delinking convention of (13) requires; single-feature spreading is Function.update (Spreading.apply_feature). The English segments are the Fragment's; its /r/ is [+anterior] where table (10) has [−anterior, −distributed], so the retroflex row of (11) (tree, dream, enrol) is not derived. The SPE rule (14) is Effect.copyRight on the two-feature set and (12) the same effect on the place class, so the comparison is between the sets a rule may copy, not between formalisms.

TODO #

References #

Class nodes #

The class nodes of (3) are the root, linked to the CV tier, with laryngeal and supralaryngeal below it, and manner and place below supralaryngeal.

Instances For
    @[instance_reducible]
    Equations
    @[instance_reducible]
    Equations
    def Clements1985.instReprNode.repr :
    Node → ℕ → Std.Format
    Equations
    Instances For
      @[instance_reducible]

      a ≤ b when a lies on the walk from b up to the root, so the root is ⊥ and the parent is Order.pred.

      Equations
      • One or more equations did not get rendered due to their size.
      @[instance_reducible]
      Equations
      @[instance_reducible]
      Equations
      @[instance_reducible]

      The parent as the predecessor.

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

      Terminal features (§4) #

      The class node a terminal feature hangs from. It is laryngeal for [spread], [constricted] and [voiced], manner for [consonantal], [sonorant], [continuant], [lateral], [strident] and, tentatively, [nasal], and place for the place features. Features the paper does not place have none.

      Equations
      Instances For

        The two sets of place features are P, distinguishing place in consonants, and S, distinguishing place in vowels (§4).

        Instances For
          @[instance_reducible]
          Equations
          def Clements1985.instReprPlaceSet.repr :
          PlaceSet → ℕ → Std.Format
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            The features of a place set.

            Equations
            Instances For

              The place features are exactly P ∪ S.

              Assimilation as spreading ((5)) #

              An assimilation rule spreads the root node (total assimilation), a class node (partial assimilation) or a single feature (single-feature assimilation), after Mohanan. A rule spreading more than one node costs more.

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

                  Spreading from src onto tgt gives the carried features the values of src, specified or not, the target's own being delinked ((13)), and leaves every other feature of tgt.

                  Equations
                  Instances For
                    theorem Clements1985.Spreading.apply_eqOn (σ : Spreading) (src tgt : Phonology.Segment) :
                    Set.EqOn (σ.apply src tgt) src ↑σ.features
                    theorem Clements1985.Spreading.apply_feature (src tgt : Phonology.Segment) (f : Phonology.Feature) :
                    (feature f).apply src tgt = Function.update tgt f (src f)

                    Single-feature spreading overwrites the target's value at the feature with the source's.

                    Single-node spreading against the SPE rule (14) #

                    Place spreading carries [anterior] and [distributed] together and leaves [nasal] alone, so (12) is a single-node rule while its [αnasal] variant of (14) is not.

                    No spreading reaches both [nasal], a manner feature, and [distributed], a place feature, without carrying the whole supralaryngeal class (§3).

                    A rule assimilating [nasal] and [distributed] at once is total supralaryngeal assimilation.

                    Kikuyu assigns [−continuant, +voiced] to postnasal obstruents (§5.1, (24)). Only the root reaches a manner and a laryngeal feature at once, so the theory makes [voiced] redundant there, filled in by a later rule.

                    English palatalisation assigns a glide's place and [+continuant] at once (§5.2, (25)): one spreading doing both is supralaryngeal, so the paper decomposes it into spirantisation and place assimilation.

                    English coronal place assimilation ((10)–(14)) #

                    In rule (12) as a local rewrite rule, a [−continuant, +coronal, +anterior] target, one of /t d n/, takes the place node of a following [+consonantal, +coronal] segment.

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

                      In the SPE statement (14), the same target before a [+coronal] segment copies that segment's [anterior] and [distributed] by alpha-variables.

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

                        The variant of (14) with [αnasal] for [αanterior] is "no more and no less ordinary" as an SPE rule, and unattested.

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

                          In tenth, /n/ before /θ/ takes [+distributed] and nothing else, a dental nasal.

                          In insure, /n/ before /ʃ/ is postalveolar, [−anterior, +distributed], and still a non-strident nasal, [strident] and [nasal] being manner features.

                          A labial trigger is no site, and impossible falls to the separate nasal assimilation rule.

                          A fricative target is no site, since the rule affects the stops /t d n/ only.

                          What separates them is that the [αnasal] variant is a rule of the same form and applies, while no single-node spreading carries [nasal] and [distributed] without the whole supralaryngeal class (supralaryngeal_subset_of_nasal_of_distributed).

                          Supralaryngeal spreading: Icelandic preaspiration ((6)–(7)) #

                          In (7) the first half of a geminate aspirated stop loses its supralaryngeal node and takes the preceding vowel's, so the output shares every supralaryngeal feature with the vowel and keeps only the stop's laryngeal features [+spread, −voiced], an [h]. Klamath (9a) and Sierra Popoluca (16) spread the same node from a lateral and from a nasal.

                          Primary and secondary place features (§4) #

                          As table (22) shows, the primary features alone separate the English stop places, so [high] and [back] are not needed for consonant place.