class_docstr: A ``MaceCommand`` specific to the ``Mace`` model builder.  It contains
  a print_assumptions() method that is used to print the list
  of assumptions in multiple formats.
class_docstr_tok: ["A","``","MaceCommand","``","specific","to","the","``","Mace","``","model","builder",".","It","contains","a","print_assumptions","(",")","method","that","is","used","to","print","the","list","of","assumptions","in","multiple","formats","."]
docstr: Call the ``interpformat`` binary with the given input.
  
  :param input_str: A string whose contents are used as stdin.
  :param args: A list of command-line arguments.
  :return: A tuple (stdout, returncode)
  :see: ``config_prover9``
docstr_tok: ["Call","the","``","interpformat","``","binary","with","the","given","input",".",":","param","input_str",":","A","string","whose","contents","are","used","as","stdin",".",":","param","args",":","A","list","of","command-line","arguments",".",":","return",":","A","tuple","(","stdout",",","returncode",")",":","see",":","``","config_prover9","``"]
code: def _call_interpformat(self, input_str, args=[], verbose=False):
      """
      Call the ``interpformat`` binary with the given input.
  
      :param input_str: A string whose contents are used as stdin.
      :param args: A list of command-line arguments.
      :return: A tuple (stdout, returncode)
      :see: ``config_prover9``
      """
      if self._interpformat_bin is None:
          self._interpformat_bin = self._modelbuilder._find_binary(
              "interpformat", verbose
          )
  
      return self._modelbuilder._call(
          input_str, self._interpformat_bin, args, verbose
      )
  
imports: import os
  import tempfile
  from nltk.inference.api import BaseModelBuilderCommand, ModelBuilder
  from nltk.inference.prover9 import Prover9CommandParent, Prover9Parent
  from nltk.sem import Expression, Valuation
  from nltk.sem.logic import is_indvar
label_desc: Use image node_id 9 for calling the MaceCommand obj's underlying member method code with example usage: obj._call_interpformat(input_str, args, verbose) and returns: self