[hawkrobe]

Deep audit of Chierchia (2004) against the page images of the May 2002 manuscript.

• Meaning extends WithAlternatives; one strongApply dispatches on downward entailment and builds alternatives by the appendix's rule, with connectives as scalar lexical items; the Strength Condition is the paper's (not strictly weaker), witnessed by (95).
• Adds the local/global contrast (21)–(22), scale truncation (98)–(100), the closure of any (116)/(127) against Kadmon–Landman's strengthening, the (128a)/(130a) judgments as data, and errata.
• KadmonLandman1993.existsInDomain becomes mathlib's ⋃ x ∈ D, P x (K&L, DenicEtAl2021).