def _make_antecedent(self, predicate, signature):
        antecedent = predicate
        for v in signature:
            antecedent = antecedent(VariableExpression(v))
        return antecedent
Compute a min_step size required to reach a bound.
dataset/ETHPy150Open nltk/nltk/nltk/inference/nonmonotonic.py/ClosedWorldProver._make_antecedent--crossover with--dataset/ETHPy150Open scipy/scipy/scipy/optimize/_lsq/common.py/step_size_to_bound