def _make_unique_signature(self, predHolder):
        return tuple(unique_variable() for i in range(predHolder.signature_len))
This method figures out how many arguments the predicate takes and
dataset/ETHPy150Open nltk/nltk/nltk/inference/nonmonotonic.py/ClosedWorldProver._make_unique_signature