Cross-Categorial Comparison Constructions

@cite{bresnan-1973} @cite{hackl-2000} @cite{wellwood-2015}

Construction-level data on @cite{wellwood-2015}'s cross-categorial parallels: comparison constructions apply uniformly across nominal, verbal, and adjectival domains, sharing the same DegP template.

This file focuses on the construction-level parallels: all three domains use the same morphosyntactic template (much/more + comparative morphology). The measured-domain-level predictions (mereological status, dimensional restriction) are in Studies/Wellwood2015.lean.

structure Phenomena.Comparison.CrossCategorial.CrossCategorialDatum : Type

A cross-categorial comparison construction template: the same DegP shell applies across syntactic categories.

• domain : String

  Syntactic domain (nominal, verbal, adjectival)

• comparativeExample : String

  Example comparative sentence

• equativeExample : String

  Example equative sentence

• degreeWord : String

  The degree word used

instance Phenomena.Comparison.CrossCategorial.instReprCrossCategorialDatum : Repr CrossCategorialDatum

Equations

• Phenomena.Comparison.CrossCategorial.instReprCrossCategorialDatum = { reprPrec := Phenomena.Comparison.CrossCategorial.instReprCrossCategorialDatum.repr }

def Phenomena.Comparison.CrossCategorial.instReprCrossCategorialDatum.repr : CrossCategorialDatum → Nat → Std.Format

Equations

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

def Phenomena.Comparison.CrossCategorial.crossCategorialExamples : List CrossCategorialDatum

Equations

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

structure Phenomena.Comparison.CrossCategorial.BresnanDecompositionDatum : Type

@cite{bresnan-1973}: more = much + -er.

This decomposition predicts:

• much is the degree head (selecting the measured domain)
• -er is the comparative morpheme (introducing the standard)
• Their combination more is suppletive for much + -er

The same pattern holds across domains:

• "more coffee" = much + -er + coffee
• "more quickly" = much + -er + quickly
• "taller" = -er + tall (no overt much for adjectives)

• surface : String
• underlying : String
• domain : String

def Phenomena.Comparison.CrossCategorial.instReprBresnanDecompositionDatum.repr : BresnanDecompositionDatum → Nat → Std.Format

Equations

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

instance Phenomena.Comparison.CrossCategorial.instReprBresnanDecompositionDatum : Repr BresnanDecompositionDatum

Equations

• Phenomena.Comparison.CrossCategorial.instReprBresnanDecompositionDatum = { reprPrec := Phenomena.Comparison.CrossCategorial.instReprBresnanDecompositionDatum.repr }

def Phenomena.Comparison.CrossCategorial.bresnanDecomposition : List BresnanDecompositionDatum

Equations

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