'Print the list of the current assumptions.'

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))
