public static Cons translateLoomDescriptionToKif(Stella_Object tree) {
    try {
      { int arity = Logic.computeLoomDescriptionArity(tree);
        Cons implicitvariables = Logic.yieldImplicitVariables(((arity > 0) ? arity : 1));

        return (Cons.list$(Cons.cons(Logic.SYM_LOGIC_KAPPA, Cons.cons(implicitvariables, Cons.cons(Cons.cons(Logic.helpTranslateLoomDescriptionToKif(tree, implicitvariables), Stella.NIL), Stella.NIL)))));
      }
    } catch (LogicException e) {
      Stella.STANDARD_ERROR.nativeStream.print(Stella.exceptionMessage(e));
      return (null);
    }
  }