 The final occurrence of \(x\) is not bound and so in classical predicate logic, we have not arrived at an equivalent translation for  (1)  and  (2).  The upshot is that if we want to account for the equivalence between  (1)  and  (2)  within a static semantic framework, we will not be able to maintain a compositional interpretation for individual sentences. We will have to assume that the discourse in  (1)  is interpreted as a whole.