def substitute_bindings(self, bindings):
        return Clause([atom.substitute_bindings(bindings) for atom in self])
Replace every binding
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/Clause.substitute_bindings