NEW: Interpreter and Parsers now work with Negation.