Added support for negation-normalizing in the parser
Allow negation arbitrarily