public static Iterator allMatchingPartialPropositions(Proposition self) {
    { Cons pattern = Cons.cons(Logic.KWD_RELATION, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(((Surrogate)(self.operator)), Cons.cons(Logic.getNullInstance(), Stella.NIL))));

      { SpecializingPropositionsIterator self000 = SpecializingPropositionsIterator.newSpecializingPropositionsIterator();

        self000.selectionPattern = pattern;
        self000.propositionCursor = Logic.selectPropositions(pattern).allocateIterator();
        { SpecializingPropositionsIterator value000 = self000;

          return (value000);
        }
      }
    }
  }