Documentation

Linglib.Phonology.Prosody.Intonation

Intonation #

The tonal vocabulary of autosegmental-metrical intonational phonology ([Pie80], [BP86]). A melody is a string of two level tones, H and L. A pitch accent is a pitch shape associated with a syllable, which the association makes accented: a starred tone, linked to that syllable, alone or with an unstarred tone just before or after it. The phrase accent and the boundary tone are terminal tones of the intermediate phrase and the intonation phrase.

Main definitions #

Implementation notes #

PitchAccent has the ten members that [BP86] §3.2 say their system permits in principle: two single-tone accents and eight two-tone ones. Which of them a language uses is a claim about that language and is stated by the study that makes it. Unaccented material carries no pitch accent, so an accent slot is an Option PitchAccent.

References #

source
inductive Prosody.LevelTone :
Type

A level tone. [Pie80] analyses English melodies with H and L alone, and [BP86] analyse Japanese with the same two.

Instances For
    source
    @[instance_reducible]
    instance Prosody.instDecidableEqLevelTone :
    DecidableEq LevelTone
    Equations
    source
    def Prosody.instReprLevelTone.repr :
    LevelTone → ℕ → Std.Format
    Equations
    Instances For
      source
      @[instance_reducible]
      instance Prosody.instReprLevelTone :
      Repr LevelTone
      Equations
      source
      @[instance_reducible]
      instance Prosody.instFintypeLevelTone :
      Fintype LevelTone
      Equations
      source
      inductive Prosody.PitchAccent :
      Type

      A pitch accent: a starred tone, phonologically linked to the accented syllable, alone or with an unstarred tone that precedes or follows it ([BP86] §2.1).

      Instances For
        source
        def Prosody.instDecidableEqPitchAccent.decEq (x✝ x✝¹ : PitchAccent) :
        Decidable (x✝ = x✝¹)
        Equations
        Instances For
          source
          @[instance_reducible]
          instance Prosody.instDecidableEqPitchAccent :
          DecidableEq PitchAccent
          Equations
          source
          def Prosody.instReprPitchAccent.repr :
          PitchAccent → ℕ → Std.Format
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            @[instance_reducible]
            instance Prosody.instReprPitchAccent :
            Repr PitchAccent
            Equations
            source
            @[instance_reducible]
            instance Prosody.instFintypePitchAccent :
            Fintype PitchAccent
            Equations
            • One or more equations did not get rendered due to their size.
            source
            def Prosody.PitchAccent.tones :
            PitchAccent → List LevelTone

            The tones of the accent in temporal order.

            Equations
            Instances For
              source
              def Prosody.PitchAccent.IsBitonal (a : PitchAccent) :
              Prop

              A bitonal accent has two tones. In English and in Japanese it is the bitonal accents that trigger catathesis ([BP86] §3).

              Equations
              Instances For
                source
                @[instance_reducible]
                instance Prosody.PitchAccent.instDecidablePredIsBitonal :
                DecidablePred IsBitonal
                Equations
                source
                @[simp]
                theorem Prosody.PitchAccent.not_isBitonal_mono (s : LevelTone) :
                ¬(mono s).IsBitonal
                source
                @[simp]
                theorem Prosody.PitchAccent.isBitonal_leading (t s : LevelTone) :
                (leading t s).IsBitonal
                source
                @[simp]
                theorem Prosody.PitchAccent.isBitonal_trailing (s t : LevelTone) :
                (trailing s t).IsBitonal
                source
                structure Prosody.TerminalContour :
                Type

                The tones that close an intonation phrase: the phrase accent, terminal to its last intermediate phrase, and the boundary tone, terminal to the intonation phrase itself ([BP86] §4.3). Each is H or L, giving [Pie80]'s four terminal configurations (§4.2).

                Instances For
                  source
                  @[instance_reducible]
                  instance Prosody.instDecidableEqTerminalContour :
                  DecidableEq TerminalContour
                  Equations
                  source
                  def Prosody.instDecidableEqTerminalContour.decEq (x✝ x✝¹ : TerminalContour) :
                  Decidable (x✝ = x✝¹)
                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    @[instance_reducible]
                    instance Prosody.instReprTerminalContour :
                    Repr TerminalContour
                    Equations
                    source
                    def Prosody.instReprTerminalContour.repr :
                    TerminalContour → ℕ → Std.Format
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      @[instance_reducible]
                      instance Prosody.instFintypeTerminalContour :
                      Fintype TerminalContour
                      Equations