def __getstate__(self):
        return self.items()
:see: Prover9Parent.prover9_input
dataset/ETHPy150Open ioflo/ioflo/ioflo/aid/odicting.py/odict.__getstate__--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9.prover9_input