public static List enumerationsContainingMember(Stella_Object self) {
    { List list = List.newList();

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

        while (iter000.nextP()) {
          p = ((Proposition)(iter000.value));
          { Stella_Object skolemlist = (p.arguments.theArray)[(p.arguments.length() - 1)];

            if (!Stella_Object.eqlP(self, skolemlist)) {
              list.push(skolemlist);
            }
          }
        }
      }
      return (list);
    }
  }