On Horn's dilemma: presupposition and negation · Study