extended interpret to handle private predicates