On the other hand, if the universal quantifier occurred inside the restrictor DRS of another quantifier, as in (13) and (16), it must be blocked from introducing its own restrictor DRS out of it.
the restrictor DRS of a quantifier or conditional operator must play the role of a barrier which blocks a quantifier phrase in it from introducing its restrictor DRS out of it.