public static void pprintAtomicObject(Stella_Object self, org.powerloom.PrintableStringWriter stream) {
    if (!(self == null)) {
      { Surrogate testValue000 = Stella_Object.safePrimaryType(self);

        if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_STELLA_LITERAL_WRAPPER)) {
          { LiteralWrapper self000 = ((LiteralWrapper)(self));

            OntosaurusUtil.pprintLiteralWrapper(self000, stream);
          }
        }
        else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_PATTERN_VARIABLE)) {
          { PatternVariable self000 = ((PatternVariable)(self));

            if ((((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())) != null) &&
                (((Skolem)(((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())).lookup(self000))) != null)) {
              stream.print(PatternVariable.generateNameOfVariable(((PatternVariable)(((Skolem)(((KeyValueMap)(Logic.$SKOLEMNAMEMAPPINGTABLE$.get())).lookup(self000)))))));
            }
            else if ((((Justification)(Logic.$CURRENTJUSTIFICATION$.get())) != null) &&
                (Logic.justificationArgumentBoundTo(self000, null) != null)) {
              OntosaurusUtil.pprintObject(Logic.justificationArgumentBoundTo(self000, null), stream);
            }
            else {
              stream.print(PatternVariable.generateNameOfVariable(self000));
            }
          }
        }
        else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_SKOLEM)) {
          { Skolem self000 = ((Skolem)(self));

            if (Logic.nativeValueOf(self000) != null) {
              OntosaurusUtil.pprintAtomicObject(Logic.nativeValueOf(self000), stream);
            }
            else if (Logic.innermostOf(self000) != null) {
              stream.print(Native.stringDowncase(Skolem.getSkolemPrintName(self000)));
              if (!(Logic.innermostOf(self000) == self000)) {
                stream.print(Logic.VALUE_OF_SEPARATOR);
                OntosaurusUtil.pprintObject(Logic.innermostOf(self000), stream);
              }
              else if (self000.definingProposition != null) {
                stream.print(Logic.VALUE_OF_SEPARATOR);
                OntosaurusUtil.pprintFunctionTerm(self000.definingProposition, stream);
              }
              else {
              }
            }
            else {
              stream.print(Skolem.generateSkolem(self000));
            }
          }
        }
        else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_LOGIC_OBJECT)) {
          { LogicObject self000 = ((LogicObject)(self));

            if (self000.surrogateValueInverse != null) {
              stream.print(Surrogate.surrogateToSymbol(self000.surrogateValueInverse));
            }
            else {
              stream.print("Unamed_Object");
            }
          }
        }
        else if (Surrogate.subtypeOfSurrogateP(testValue000)) {
          { Surrogate self000 = ((Surrogate)(self));

            stream.print(OntosaurusUtil.operatorToString(self000));
          }
        }
        else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_LOGIC_THING)) {
          { LogicThing self000 = ((LogicThing)(self));

            if (Logic.generateTerm(self000) != null) {
              OntosaurusUtil.pprintObject(Logic.generateTerm(self000), stream);
            }
            else if (self000.surrogateValueInverse != null) {
              stream.print(self000.surrogateValueInverse);
            }
            else {
              stream.print(self000);
            }
          }
        }
        else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_STELLA_THING)) {
          { Thing self000 = ((Thing)(self));

            if (self000.surrogateValueInverse != null) {
              stream.print(self000.surrogateValueInverse);
            }
            else {
              stream.print(self000);
            }
          }
        }
        else {
          stream.print(self);
        }
      }
    }
  }