class_docstr: A ``ProverCommand`` specific to the ``Prover9`` prover.  It contains
  the a print_assumptions() method that is used to print the list
  of assumptions in multiple formats.
class_docstr_tok: ["A","``","ProverCommand","``","specific","to","the","``","Prover9","``","prover",".","It","contains","the","a","print_assumptions","(",")","method","that","is","used","to","print","the","list","of","assumptions","in","multiple","formats","."]
docstr: :see BaseProverCommand.decorate_proof()
docstr_tok: [":","see","BaseProverCommand.decorate_proof","(",")"]
code: def decorate_proof(self, proof_string, simplify=True):
      """
      :see BaseProverCommand.decorate_proof()
      """
      if simplify:
          return self._prover._call_prooftrans(
              proof_string, ["striplabels"]
          )[0].rstrip()
      else:
          return proof_string.rstrip()
  
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 2 for calling the Prover9Command obj's underlying member method code with example usage: obj.decorate_proof(proof_string, simplify) and returns: self, proof_string