Documentation

Linglib.Phenomena.Comparison.Superlative.Data

Superlative Constructions: Empirical Data #

@cite{heim-1999} @cite{sharvit-stateva-2002} @cite{szabolcsi-1986}

Empirical data on superlative constructions, including the absolute vs. relative reading ambiguity and the interaction with focus.

Key Empirical Patterns #

  1. Absolute vs. relative readings: "Kim climbed the highest mountain" can mean either "the mountain that is highest of all" (absolute) or "the mountain that is higher than anyone else climbed" (relative).
  2. Focus sensitivity: the relative reading is sensitive to focus — "KIM climbed the highest mountain" vs. "Kim climbed the HIGHEST mountain" pick out different comparison classes.
  3. Superlative morphology varies: English uses "-est"/most, some languages use the comparative + definite article (Romance), and others use entirely different strategies.
source
structure Phenomena.Comparison.Superlative.SuperlativeJudgment :
Type

A superlative judgment datum.

Instances For
    source
    def Phenomena.Comparison.Superlative.instReprSuperlativeJudgment.repr :
    SuperlativeJudgment → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Phenomena.Comparison.Superlative.instReprSuperlativeJudgment :
      Repr SuperlativeJudgment
      Equations
      source
      def Phenomena.Comparison.Superlative.superlativeExamples :
      List SuperlativeJudgment
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        inductive Phenomena.Comparison.Superlative.SuperlativeEncoding :
        Type

        How superlative meaning is encoded cross-linguistically.

        Instances For
          source
          instance Phenomena.Comparison.Superlative.instDecidableEqSuperlativeEncoding :
          DecidableEq SuperlativeEncoding
          Equations
          source
          def Phenomena.Comparison.Superlative.instBEqSuperlativeEncoding.beq :
          SuperlativeEncoding → SuperlativeEncoding → Bool
          Equations
          Instances For
            source
            instance Phenomena.Comparison.Superlative.instBEqSuperlativeEncoding :
            BEq SuperlativeEncoding
            Equations
            source
            instance Phenomena.Comparison.Superlative.instReprSuperlativeEncoding :
            Repr SuperlativeEncoding
            Equations
            source
            def Phenomena.Comparison.Superlative.instReprSuperlativeEncoding.repr :
            SuperlativeEncoding → Nat → Std.Format
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              structure Phenomena.Comparison.Superlative.SuperlativeTypologyDatum :
              Type

              Cross-linguistic superlative strategy datum.

              Instances For
                source
                instance Phenomena.Comparison.Superlative.instReprSuperlativeTypologyDatum :
                Repr SuperlativeTypologyDatum
                Equations
                source
                def Phenomena.Comparison.Superlative.instReprSuperlativeTypologyDatum.repr :
                SuperlativeTypologyDatum → Nat → Std.Format
                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Phenomena.Comparison.Superlative.superlativeTypology :
                  List SuperlativeTypologyDatum
                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For