public static Stella_Object translateLoomSentenceToKif(Stella_Object tree) {
    try {
      return (Logic.loomSentenceToKif(Logic.eliminateLoomKeywords(tree)));
    } catch (LogicException e) {
      Stella.STANDARD_ERROR.nativeStream.print(Stella.exceptionMessage(e));
      return (null);
    }
  }