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: Pick an alphabetic character as identifier for an entity in the model.
  
  :param value: where to index into the list of characters
  :type value: int
docstr_tok: ["Pick","an","alphabetic","character","as","identifier","for","an","entity","in","the","model",".",":","param","value",":","where","to","index","into","the","list","of","characters",":","type","value",":","int"]
code: def _make_model_var(value):
      """
      Pick an alphabetic character as identifier for an entity in the model.
  
      :param value: where to index into the list of characters
      :type value: int
      """
      letter = [
          "a",
          "b",
          "c",
          "d",
          "e",
          "f",
          "g",
          "h",
          "i",
          "j",
          "k",
          "l",
          "m",
          "n",
          "o",
          "p",
          "q",
          "r",
          "s",
          "t",
          "u",
          "v",
          "w",
          "x",
          "y",
          "z",
      ][value]
      num = value // 26
      return letter + str(num) if num > 0 else letter
  
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 6 for calling the MaceCommand obj's underlying member method code with example usage: obj._make_model_var(value) and returns: unknown