Understanding And Reasoning With Negation