#NEWLINE# def isSubsetOf( self , other ) : #NEWLINE# #INDENT# "\n        Return True iff every term in 'self' is a term in 'other'.\n\n        :param other: ``Clause``\n        :return: bool\n        " #NEWLINE# for a in self : #NEWLINE# #INDENT# if ( a not in other ) : #NEWLINE# #INDENT# return False #NEWLINE# #UNINDENT# #UNINDENT# return True