predicates in qq