A truth-conditional formulation of Karttunen's account of presupposition · Study