split predicate