The Semi-Predicate Problem