#NEWLINE# def print_assumptions( self , output_format = 'nltk' ) : #NEWLINE# #INDENT# '\n        Print the list of the current assumptions.\n        ' #NEWLINE# if ( output_format . lower ( ) == 'nltk' ) : #NEWLINE# #INDENT# for a in self . assumptions ( ) : #NEWLINE# #INDENT# print ( a ) #NEWLINE# #UNINDENT# #UNINDENT# else : #NEWLINE# #INDENT# if ( output_format . lower ( ) == 'prover9' ) : #NEWLINE# #INDENT# for a in convert_to_prover9 ( self . assumptions ( ) ) : #NEWLINE# #INDENT# print ( a ) #NEWLINE# #UNINDENT# #UNINDENT# else : #NEWLINE# #INDENT# raise NameError ( ( "Unrecognized value for 'output_format': %s" % output_format ) )