revised R-200-NEGATIVE-LITERAL-CONSTRAINTS example