Presupposition in Natural Logic