docstr: Use Mace4 to build a first order model.
  
  :return: ``True`` if a model was found (i.e. Mace returns value of 0),
  else ``False``
docstr_tok: ["Use","Mace4","to","build","a","first","order","model",".",":","return",":","``","True","``","if","a","model","was","found","(","i.e",".","Mace","returns","value","of","0",")",",","else","``","False","``"]
code: def _build_model(self, goal=None, assumptions=None, verbose=False):
      """
      Use Mace4 to build a first order model.
  
      :return: ``True`` if a model was found (i.e. Mace returns value of 0),
      else ``False``
      """
      if not assumptions:
          assumptions = []
  
      stdout, returncode = self._call_mace4(
          self.prover9_input(goal, assumptions), verbose=verbose
      )
      return (returncode == 0, stdout)
  
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 Mace obj's underlying member method code with example usage: obj._build_model(goal, assumptions, verbose) and returns: unknown,  stdout