Negation And Polarity P by Sam Horn