A specificity constraint in complex predicates