Added not stratified negation