executing predicates with body