Order the predicates in Q