shorten predicate expression