public static Iterator allTrueDependentIsaPropositions(Stella_Object self) {
    { Cons pattern = Cons.cons(Logic.KWD_ISA, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(Logic.valueOf(self), Stella.NIL)));
      SequenceIndex index = Logic.selectPropositions(pattern);

      if (SequenceIndex.emptyPropositionsIndexP(index, self, false)) {
        return (Logic.EMPTY_PROPOSITIONS_ITERATOR);
      }
      else {
        { TruePropositionsIterator self000 = TruePropositionsIterator.newTruePropositionsIterator();

          self000.selectionPattern = pattern;
          self000.propositionCursor = index.allocateIterator();
          { TruePropositionsIterator value000 = self000;

            return (value000);
          }
        }
      }
    }
  }