public static void pprintDescriptionBody(Description description, org.powerloom.PrintableStringWriter stream) {
    if (description.proposition == null) {
      stream.print("(");
      OntosaurusUtil.pprintObject(description.surrogateValueInverse, stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 3);
      if (((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())) != null) {
        { PatternVariable var = null;
          Vector vector000 = ((NamedDescription)(description)).ioVariables;
          int index000 = 0;
          int length000 = vector000.length();

          for (;index000 < length000; index000 = index000 + 1) {
            var = ((PatternVariable)((vector000.theArray)[index000]));
            stream.print(" ");
            if (((Skolem)(((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())).lookup(var))) != null) {
              OntosaurusUtil.pprintObject(((Skolem)(((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())).lookup(var))), stream);
            }
            else {
              OntosaurusUtil.pprintObject(var, stream);
            }
          }
        }
      }
      else {
        { Symbol name = null;
          Cons iter000 = ((NamedDescription)(description)).ioVariableNames.theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            name = ((Symbol)(iter000.value));
            stream.print(" ");
            OntosaurusUtil.pprintObject(name, stream);
          }
        }
      }
      stream.print(")");
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 3);
    }
    else {
      OntosaurusUtil.pprintProposition(description.proposition, stream);
    }
  }