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","."]
code: def valuation(mbc):
      return mbc.model("valuation")
  
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 2 for calling the MaceCommand obj's underlying member method code with example usage: obj.valuation(mbc) and returns: mbc