Documentation

Linglib.Phenomena.Imprecision.Studies.SoltWaldon2019

@cite{solt-waldon-2019}: Numerals under negation #

Empirical data from Stephanie Solt and Brandon Waldon (2019), "Numerals under negation," Glossa 4(1).

Empirical contribution #

A negative-numeral sentence ("She doesn't have 40 sheep") is degraded as an answer to a "how many" question but acceptable as an answer to a polar question. Solt & Waldon argue this licensing pattern reflects the QUD-relative function of negated numerals as polar denials rather than quantitative answers.

Provenance #

This datum was previously bundled inside Phenomena/Imprecision/Numerals.lean (then Studies/Haslinger2025.lean). Moved here at 0.230.521 — the empirical anchor is Solt & Waldon 2019; Haslinger 2025 cites this work as background substrate, not as her own observation.

source
structure Phenomena.Imprecision.Studies.SoltWaldon2019.NegationConstraintDatum :
Type

A negation-licensing datum for bare numerals.

Source: @cite{solt-waldon-2019}.

  • positiveSentence : String

    Positive sentence

  • negativeSentence : String

    Negative sentence

  • howManyContext : String

    "How many" question context

  • polarContext : String

    Polar question context

  • negativeOkHowMany : Bool

    Negative OK in how-many context?

  • negativeOkPolar : Bool

    Negative OK in polar context?

Instances For
    source
    def Phenomena.Imprecision.Studies.SoltWaldon2019.instReprNegationConstraintDatum.repr :
    NegationConstraintDatum → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[implicit_reducible]
      instance Phenomena.Imprecision.Studies.SoltWaldon2019.instReprNegationConstraintDatum :
      Repr NegationConstraintDatum
      Equations
      source
      def Phenomena.Imprecision.Studies.SoltWaldon2019.sheepNegation :
      NegationConstraintDatum
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Phenomena.Imprecision.Studies.SoltWaldon2019.negationConstraintData :
        List NegationConstraintDatum
        Equations
        Instances For