Add integration test coverage for negation
Add documentation for :negation