On the presuppositions of composite propositions