 Putting these elements all together, we are now in a position to see how DPL accounts for (27b). Informally speaking, the first sentence of (27b) takes all the input assignment functions g and outputs all those assignments h in that they differ at most from g in assigning “x” to a man who loves Annie. Thus the output of the first sentence is all (and only) the possible assignments of “x” (given the model) to men who love Annie. The output of the first sentence is the input to the second. The second sentence tests these assignments, allowing only those through which also assign “x” to something in the interpretation of “rich”. The output of the second sentence includes all and only the assignments of “x” to rich men who love Annie. As long as the model includes at least one rich man who loves Annie, there will be at least one such output assignment. Hence the discourse is true iff there is at least one rich man who loves Annie. Since conjunction is externally dynamic, we can keep adding sentences with anaphoric pronouns to similar effect. Thus in a discourse such as