More sensible normalisation for 'value of attribute X cannot be Y; must be one of Z