basic support for interpreted predicates