public static Cons filterOutUnnamedDescriptions(Cons descriptions) {
    { Cons namedones = Stella.NIL;

      { LogicObject d = null;
        Cons iter000 = descriptions;
        Cons collect000 = null;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          d = ((LogicObject)(iter000.value));
          if (Stella_Object.isaP(d, Logic.SGT_LOGIC_NAMED_DESCRIPTION)) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(d, Stella.NIL);
                if (namedones == Stella.NIL) {
                  namedones = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(namedones, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(d, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      return (namedones);
    }
  }