 Thus, the indefinite here mysteriously has universal force and expresses something about every donkey owned by someone. Recall that according to DRT, an indefinite is effectively a one-place predicate with a free variable. The central idea of DRT in the case of both conditional and relative clause donkey sentences is that the universal force of the indefinite results from the variable in it being bound by an operator with genuine universal force. In the case of (25), the “conditional operator” has universal force, since it in effect says that in every case (assignment to free variables) in which the antecedent is true, the consequent is true. So (25) claims that every assignment to “x” that makes “Sarah owns x” and “x is a donkey” true, also makes “Sarah beats x” true. So (25) is true iff Sarah beats every donkey she owns. In (26), by contrast, the universal quantifier (determiner) “every” not only binds the variables associated with the predicative material “woman who owns a donkey” (for example, presumably there is such a variable in the subject argument place of “beats”), but it also binds the variable introduced by the predicate-with-free-variable “a donkey”. So it is as though (26) has the “logical  form”.[13]