def backend_object(self, id):
        return self.model.CaseVersion.everything.get(id=id)
Call the ``prover9`` binary with the given input.
dataset/ETHPy150Open mozilla/moztrap/tests/model/library/api/test_caseversion_resource.py/CaseVersionResourceTest.backend_object--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9._call_prover9