def isSubsetOf(self, other):
        for a in self:
            if a not in other:
                return False
        return True
Return True iff every term in 'self' is a term in 'other'.
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/Clause.isSubsetOf