To accommodate this argument Shimoyama posits a free variable of functional type to which the bound variable is applied, and whose denotation is determined by the context-dependent assignment function.
since there is no limit to the number of quantifiers in the matrix clause (and accordingly that of bound variables in the IHRC), the semantic type of the free variable would be highly ambiguous if the IHRC occurs within the scope of multiple quantifiers.