added the Not operator to Relational restrictions