full support for predicate translation