Wow! Thanks for the quick response. Based on my experience so far, it looks like NORMA detects and flags violations of mandatory and uniqueness contraints in the sample population data, but not more. I put an antisymmetric constraint on two roles and loaded two samples that basically said 'A is greater than B' and 'B is greater than ...