def prover9_input(self, goal, assumptions):
        s = 'clear(auto_denials).\n' #only one proof required
        return s + Prover9Parent.prover9_input(self, goal, assumptions)
Update properties of given image.
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9.prover9_input--crossover with--dataset/ETHPy150Open saltstack/salt/salt/modules/glance.py/image_update