public static Cons translateLoomStatement(Cons tree) {
    { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(tree.value));

      if (testValue000 == Logic.SYM_STELLA_ASK) {
        return (Logic.translateLoomAsk(tree));
      }
      else if (testValue000 == Logic.SYM_STELLA_RETRIEVE) {
        return (Logic.translateLoomRetrieve(tree));
      }
      else if ((testValue000 == Logic.SYM_LOGIC_TELL) ||
          (testValue000 == Logic.SYM_LOGIC_TELLM)) {
        return (Logic.translateLoomAssertions(tree.rest, false));
      }
      else if ((testValue000 == Logic.SYM_LOGIC_FORGET) ||
          (testValue000 == Logic.SYM_LOGIC_FORGETM)) {
        return (Logic.translateLoomAssertions(tree.rest, true));
      }
      else if ((testValue000 == Logic.SYM_LOGIC_CREATE) ||
          (testValue000 == Logic.SYM_LOGIC_CREATEM)) {
        return (Logic.translateLoomAssertions(Cons.consList(Cons.cons(Logic.translateLoomCreateClause(tree.rest), Stella.NIL)), true));
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
    }
  }