Statistical Predicate Invention