Quantification and ACD: What is the evidence from real-time processing Evidence for? A response to Hackl et al. (2012)

Hackl et al. (2012) argue that processing evidence specifically supports a theory of Antecedent Contained Deletion (ACD) that involves the threat of type-mismatch and infinite regress, with Quantifier Raising (QR) coming to the rescue. This squib argues that the processing evidence does not specifically support that theory. Very similar predictions can be made by the variable-free, or combinatory, theory that Hackl et al. dismiss, if we add the assumption that ACD is resolved by binding, not by simple anaphora.