def replace(self, variable, expression):
        return Clause([atom.replace(variable, expression) for atom in self])
Replace every instance of variable with expression across every atom
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/Clause.replace