public static Cons translateLoomRetrieve(Cons tree) {
    { Stella_Object variables = tree.rest.value;
      Stella_Object querybody = Logic.translateLoomSentenceToKif(tree.rest.rest.value);

      { PropertyList self000 = PropertyList.newPropertyList();

        self000.thePlist = tree.nthRest(3);
        { PropertyList options = self000;
          Cons nulls = Stella.NIL;

          if (!options.emptyP()) {
            System.out.println("'loom::retrieve' options not yet implemented");
          }
          { ConsIterator i = ((Cons)(variables)).allocateIterator();

            while (i.nextP()) {
              nulls = Cons.cons(Logic.SYM_STELLA_NULL, nulls);
            }
          }
          return (Cons.list$(Cons.cons(Logic.SYM_STELLA_CONSIFY, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_RETRIEVE, Cons.cons(Logic.SYM_LOGIC_ALL, Cons.cons(variables, Cons.cons(Cons.cons(querybody, Stella.NIL), Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))));
        }
      }
    }
  }