An assumption underlying this whole project, as standardly conceived, is that we assign presuppositions to separate clauses, independently of the environments in which they occur, and then compute the presupposition of the whole.