R-53-NEGATIVE-DATA-PROPERTY-CONSTRAINTS