public static Cons allNamedDirectSubdescriptions(Description self) {
    { Cons result = Stella.NIL;

      { LogicObject d = null;
        Iterator iter000 = LogicObject.allDirectSubcollections(self, false);

        while (iter000.nextP()) {
          d = ((LogicObject)(iter000.value));
          if (Stella_Object.isaP(d, Logic.SGT_LOGIC_NAMED_DESCRIPTION)) {
            result = Cons.cons(d, result);
          }
        }
      }
      return (result);
    }
  }