public static Cons translateOneLoomForm(Stella_Object tree) {
    if (Stella_Object.safePrimaryType(tree) == Logic.SGT_STELLA_CONS) {
      { Cons tree000 = ((Cons)(tree));

        { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(tree000.value));

          if ((testValue000 == Logic.SYM_STELLA_PROGN) ||
              (testValue000 == Logic.SYM_LOGIC_EVAL_WHEN)) {
            { Cons forms = Stella.NIL;
              Cons translation = null;

              { Stella_Object item = null;
                Cons iter000 = tree000.rest;

                for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                  item = iter000.value;
                  translation = Logic.translateOneLoomForm(item);
                  if (translation != null) {
                    if (Stella_Object.isaP(translation.value, Logic.SGT_STELLA_CONS)) {
                      { Stella_Object subform = null;
                        Cons iter001 = translation;

                        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                          subform = iter001.value;
                          forms = Cons.cons(subform, forms);
                        }
                      }
                    }
                    else {
                      forms = Cons.cons(translation, forms);
                    }
                  }
                }
              }
              return (forms.reverse());
            }
          }
          else if ((testValue000 == Logic.SYM_STELLA_ASK) ||
              ((testValue000 == Logic.SYM_STELLA_RETRIEVE) ||
               ((testValue000 == Logic.SYM_LOGIC_TELL) ||
                ((testValue000 == Logic.SYM_LOGIC_FORGET) ||
                 ((testValue000 == Logic.SYM_LOGIC_TELLM) ||
                  (testValue000 == Logic.SYM_LOGIC_FORGETM)))))) {
            return (Logic.translateLoomStatement(tree000));
          }
          else if ((testValue000 == Logic.SYM_LOGIC_CREATE) ||
              (testValue000 == Logic.SYM_LOGIC_CREATEM)) {
            Logic.destructivelyUnquoteTopLevel(tree000);
            return (Logic.translateLoomStatement(tree000));
          }
          else if ((testValue000 == Logic.SYM_LOGIC_DEFCONCEPT) ||
              ((testValue000 == Logic.SYM_LOGIC_DEFSET) ||
               ((testValue000 == Logic.SYM_LOGIC_DEFRELATION) ||
                (testValue000 == Logic.SYM_LOGIC_DEFPROPERTY)))) {
            return (Logic.translateLoomDefinition(tree000));
          }
          else if ((testValue000 == Logic.SYM_LOGIC_DEFCONTEXT) ||
              ((testValue000 == Logic.SYM_LOGIC_ADD_VALUE) ||
               ((testValue000 == Logic.SYM_LOGIC_SET_VALUE) ||
                (testValue000 == Logic.SYM_LOGIC_FADD_VALUE)))) {
            Stella.STANDARD_WARNING.nativeStream.println("Warning: Translation of `" + tree000.value + "' is not implemented yet!");
            return (null);
          }
          else if (testValue000 == Logic.SYM_STELLA_CHANGE_CONTEXT) {
            return (Logic.translateLoomContextChange(tree000, true));
          }
          else if ((testValue000 == Logic.SYM_LOGIC_IN_CONTEXT) ||
              (testValue000 == Logic.SYM_LOGIC_IN_KB)) {
            return (Logic.translateLoomContextChange(tree000, false));
          }
          else if (testValue000 == Logic.SYM_STELLA_CC) {
            if (tree000.rest.value != null) {
              return (Logic.translateLoomContextChange(tree000, false));
            }
            else {
              return (null);
            }
          }
          else {
            return (null);
          }
        }
      }
    }
    else {
      return (null);
    }
  }