At a later stage the quantifier assumption is "discharged," capturing all occurrences of the free variable.
their analysis of something like every manager disappeared would proceed as follows: every manager disappeared every manager disappeared -discharge the assumption: In the final logical form, I am using an informal representation of their "pair" notation for generalized quantifiers, which uses the same variable in both the restriction and the body, unlike the one we have been using.