nicer string representation of predicates...