Calling imported and inherited predicates