Adding NOT AND OR rules