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: :param goal: Input expression to prove
  :type goal: sem.Expression
  :param assumptions: Input expressions to use as assumptions in
      the proof.
  :type assumptions: list(sem.Expression)
  :param max_models: The maximum number of models that Mace will try before
      simply returning false. (Use 0 for no maximum.)
  :type max_models: int
docstr_tok: [":","param","goal",":","Input","expression","to","prove",":","type","goal",":","sem.Expression",":","param","assumptions",":","Input","expressions","to","use","as","assumptions","in","the","proof",".",":","type","assumptions",":","list","(","sem.Expression",")",":","param","max_models",":","The","maximum","number","of","models","that","Mace","will","try","before","simply","returning","false",".","(","Use","0","for","no","maximum",".",")",":","type","max_models",":","int"]
code: def __init__(
      self,
      goal=None,
      assumptions=None,
      max_models=500,
      model_builder=None,
  ):
      """
      :param goal: Input expression to prove
      :type goal: sem.Expression
      :param assumptions: Input expressions to use as assumptions in
          the proof.
      :type assumptions: list(sem.Expression)
      :param max_models: The maximum number of models that Mace will try before
          simply returning false. (Use 0 for no maximum.)
      :type max_models: int
      """
      if model_builder is not None:
          assert isinstance(model_builder, Mace)
      else:
          model_builder = Mace(max_models)
  
      BaseModelBuilderCommand.__init__(
          self, model_builder, goal, assumptions
      )
  
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 1 to create a new MaceCommand object from inherited base classes: Prover9CommandParent, BaseModelBuilderCommand with example: obj = MaceCommand(goal, assumptions, max_models, model_builder)