public static boolean shortTermP(Stella_Object arg) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(arg);

      if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_STELLA_LITERAL_WRAPPER)) {
        { LiteralWrapper arg000 = ((LiteralWrapper)(arg));

          { Surrogate testValue001 = Stella_Object.safePrimaryType(arg000);

            if (Surrogate.subtypeOfStringP(testValue001)) {
              { StringWrapper arg001 = ((StringWrapper)(arg000));

                return ((arg001.wrapperValue).length() < 9);
              }
            }
            else if (Surrogate.subtypeOfP(testValue001, OntosaurusUtil.SGT_STELLA_MUTABLE_STRING_WRAPPER)) {
              { MutableStringWrapper arg001 = ((MutableStringWrapper)(arg000));

                return ((arg001.wrapperValue).length() < 9);
              }
            }
            else {
              return (true);
            }
          }
        }
      }
      else if (Surrogate.subtypeOfSymbolP(testValue000)) {
        { Symbol arg000 = ((Symbol)(arg));

          return ((arg000.symbolName).length() < 9);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_PATTERN_VARIABLE)) {
        { PatternVariable arg000 = ((PatternVariable)(arg));

          return ((arg000.skolemName.symbolName).length() < 9);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, OntosaurusUtil.SGT_LOGIC_LOGIC_OBJECT)) {
        { LogicObject arg000 = ((LogicObject)(arg));

          { Symbol name = Logic.objectName(arg000);

            if (name != null) {
              return ((name.symbolName).length() < 9);
            }
            else {
              return (false);
            }
          }
        }
      }
      else {
        return (false);
      }
    }
  }