validated R-52-NEGATIVE-OBJECT-PROPERTY-CONSTRAINTS