nltk.sem.DRS.replace¶

DRS.replace(variable, expression, replace_bound=False, alpha_convert=True)[source]¶

Replace all instances of variable v with expression E in self, where v is free in self.