public static Cons translateLoomDefaults(Stella_Object defaultTree, Cons variables) {
    return (Cons.list$(Cons.cons(Logic.SYM_LOGIC_tg, Cons.cons(Logic.helpTranslateLoomDescriptionToKif(defaultTree, variables), Cons.cons(Stella.NIL, Stella.NIL)))));
  }