Cooper’s storage technique for scoping in situ operators has been employed in theoretical and computational grammars of natural language (NL) for over thirty years, but
has been widely viewed as ad hoc and unprincipled. Recent work by Pollard within the framework of convergent grammar (CVG)
took a step in the direction of clarifying the logical status of Cooper storage by encoding its rules within an explicit but
nonstandard natural deduction (ND) format. Here we provide further clarification by showing how to encode a CVG with storage
within a logical grammar framework—abstract categorial grammar (ACG)—that utilizes no logical resources beyond those of standard
linear deduction.
The authors wish to acknowledge support from the Conseil Régional de Lorraine.