def print_assumptions(self, output_format='nltk'):
        if output_format.lower() == 'nltk':
            for a in self.assumptions():
                print(a)
        elif output_format.lower() == 'prover9':
            for a in convert_to_prover9(self.assumptions()):
                print(a)
        else:
            raise NameError("Unrecognized value for 'output_format': %s" %
                            output_format)
Enable RDP the service on the server
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9CommandParent.print_assumptions--crossover with--dataset/ETHPy150Open saltstack/salt/salt/modules/rdp.py/enable