public static Cons allIsaCollections(Stella_Object self) {
    { Cons collections = Stella.NIL;

      { Proposition p = null;
        Iterator iter000 = Logic.allTrueDependentPropositions(self, null, false);

        while (iter000.nextP()) {
          p = ((Proposition)(iter000.value));
          if (p.kind == Logic.KWD_ISA) {
            collections = Cons.cons(Logic.getDescription(((Surrogate)(p.operator))), collections);
          }
        }
      }
      { Proposition p = null;
        Iterator iter001 = Logic.allTrueDependentPropositions(self, Logic.SGT_PL_KERNEL_KB_MEMBER_OF, false);

        while (iter001.nextP()) {
          p = ((Proposition)(iter001.value));
          collections = Cons.cons((p.arguments.theArray)[1], collections);
        }
      }
      return (collections);
    }
  }