def alpha_convert(self, newvar):
        return self.__class__(newvar, self.term.replace(self.variable,
                          DrtVariableExpression(newvar), True))
Rename all occurrences of the variable introduced by this variable
dataset/ETHPy150Open nltk/nltk/nltk/sem/drt.py/DrtLambdaExpression.alpha_convert