Degree Questions: Empirical Data

@cite{beck-rullmann-1999} @cite{fox-2007} @cite{rullmann-1995} @cite{fox-hackl-2006}

Empirical data on degree questions ("how tall is Kim?"), including negative islands, modal obviation, and comparative subdeletion.

The theoretical analysis is in Theories/Semantics/Questions/DegreeQuestion.lean (@cite{fox-2007} density-of-measurement) and will also connect to the new Theories/Semantics/Degree/DegreeQuestion.lean (compositional "how").

Key Empirical Patterns

1. Negative islands: "*How tall isn't Kim?" is unacceptable (@cite{fox-2007}: density of measurement blocks maximality).
2. Modal obviation: "How tall is Kim required to be?" is acceptable (universal modal rescues maximality).
3. Existential modal fails: "*How tall is Kim allowed to be?" remains unacceptable (existential modal doesn't help).

structure Phenomena.Comparison.DegreeQuestion.DegreeQuestionDatum : Type

A degree question acceptability datum.

• sentence : String
• acceptable : Bool
• mechanism : String

  What blocks or rescues the question?

• note : String

def Phenomena.Comparison.DegreeQuestion.instReprDegreeQuestionDatum.repr : DegreeQuestionDatum → Nat → Std.Format

Equations

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

instance Phenomena.Comparison.DegreeQuestion.instReprDegreeQuestionDatum : Repr DegreeQuestionDatum

Equations

• Phenomena.Comparison.DegreeQuestion.instReprDegreeQuestionDatum = { reprPrec := Phenomena.Comparison.DegreeQuestion.instReprDegreeQuestionDatum.repr }

def Phenomena.Comparison.DegreeQuestion.degreeQuestionExamples : List DegreeQuestionDatum

Equations

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

def Phenomena.Comparison.DegreeQuestion.negativeIslandExamples : List DegreeQuestionDatum

@cite{fox-2007} negative island data.

Equations

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

def Phenomena.Comparison.DegreeQuestion.modalObviationExamples : List DegreeQuestionDatum

@cite{fox-2007} modal obviation data.

Equations

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