Better predicate display