submit predicates