Correct labels for predicate rules