[hawkrobe]

Geurts2010 encoded one table from the 2009 paper and credited the book with scale reversal, which p. 57 rejects; this encodes the book's own theory, read from page images.

• Standard Recipe, long disjunctions on atoms and upper sets, the intention-based method with free choice, conventionalism and embedded implicatures, 25 rows, nine errata (closure under disjunction, rejected on p. 64, gives exactly the exclusive reading).
• GeurtsPouscoulous2009: the printed stimulus figure2 replaces a misreading, exh replaces its so, and classicalReading and localReading move there.
• exh_empty, exh_insert_of_subset, exh_insert_of_not_subset and exh_singleton_of_not_subset in Exhaustification/Basic replace hand proofs in InnocentExclusion, Fox2007 and Chierchia2006.