class_docstr: A common base class used by both ``Prover9Command`` and ``MaceCommand``,
  which is responsible for maintaining a goal and a set of assumptions,
  and generating prover9-style input files from them.
class_docstr_tok: ["A","common","base","class","used","by","both","``","Prover9Command","``","and","``","MaceCommand","``",",","which","is","responsible","for","maintaining","a","goal","and","a","set","of","assumptions",",","and","generating","prover9-style","input","files","from","them","."]
docstr: Print the list of the current assumptions.
docstr_tok: ["Print","the","list","of","the","current","assumptions","."]
code: def print_assumptions(self, output_format="nltk"):
      """
      Print the list of the current assumptions.
      """
      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
          )
  
imports: import os
  import subprocess
  import nltk
  from nltk.inference.api import BaseProverCommand, Prover
  from nltk.sem.logic import AllExpression, AndExpression, EqualityExpression, ExistsExpression, Expression, IffExpression, ImpExpression, NegatedExpression, OrExpression
label_desc: Use image node_id 1 for calling the Prover9CommandParent obj's underlying member method code with example usage: obj.print_assumptions(output_format) without return types