 And overlooking the free variables left by stripping away the universal quantifier (which anyway were in its scope and bound by it), we simply have another conditional with an existential quantifier in its antecedent and a formula in the consequent containing an occurrence of the variable of that existential quantifier. So the treatment goes essentially as it did for (32)/(32a) itself, with the externally dynamic existential quantifier, internally dynamic conditional, and universal quantification over assignments in the semantics of the conditional all working their magic so that (26)’s truth requires every donkey owning woman to beat every donkey she owns.