Calling imported and inherited predicatesΒΆ