The Abnormality Predicate