public static Cons translateLoomCreateClause(Cons tree) {
    if (tree.rest.value == Stella.NIL) {
      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_THING, Cons.cons(tree.value, Cons.cons(Stella.NIL, Stella.NIL)))));
    }
    else {
      return (Cons.cons(tree.rest.value, Cons.cons(tree.value, Stella.NIL)));
    }
  }