#NEWLINE# def replace( self , variable , expression ) : #NEWLINE# #INDENT# '\n        Replace every instance of variable with expression across every atom\n        in the clause\n\n        :param variable: ``Variable``\n        :param expression: ``Expression``\n        ' #NEWLINE# return Clause ( [ atom . replace ( variable , self ) for atom in self ] )