half predicates