class_docstr: A common class extended by both ``Prover9`` and ``Mace <mace.Mace>``.
  It contains the functionality required to convert NLTK-style
  expressions into Prover9-style expressions.
class_docstr_tok: ["A","common","class","extended","by","both","``","Prover9","``","and","``","Mace","<","mace.Mace",">","``",".","It","contains","the","functionality","required","to","convert","NLTK-style","expressions","into","Prover9-style","expressions","."]
code: def _find_binary(self, name, verbose=False):
      binary_locations = self.binary_locations()
      if self._binary_location is not None:
          binary_locations += [self._binary_location]
      return nltk.internals.find_binary(
          name,
          searchpath=binary_locations,
          env_vars=["PROVER9"],
          url="https://www.cs.unm.edu/~mccune/prover9/",
          binary_names=[name, name + ".exe"],
          verbose=verbose,
      )
  
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 4 for calling the Prover9Parent obj's underlying member method code with example usage: obj._find_binary(name, verbose) and returns: nltk