def _make_antecedent(self, predicate, signature):
        antecedent = predicate
        for v in signature:
            antecedent = antecedent(VariableExpression(v))
        return antecedent
Return an application expression with 'predicate' as the predicate
dataset/ETHPy150Open nltk/nltk/nltk/inference/nonmonotonic.py/ClosedWorldProver._make_antecedent