public static Keyword interpretIterativeForallScores(ControlFrame frame, Keyword lastmove) {
    if (lastmove == Logic.KWD_DOWN) {
      if (frame.partialMatchFrame == null) {
        ControlFrame.createAndLinkPartialMatchFrame(frame, Logic.KWD_ITERATIVE_FORALL);
      }
      else {
        while (frame.partialMatchFrame.argumentScores.length() > frame.argumentCursor) {
          frame.partialMatchFrame.popPartialMatchScore();
        }
      }
    }
    else if ((lastmove == Logic.KWD_UP_TRUE) ||
        (lastmove == Logic.KWD_UP_FAIL)) {
      ControlFrame.recordLatestPartialMatchScore(frame);
      if (Stella_Object.traceKeywordP(Logic.KWD_GOAL_TREE)) {
        System.out.println("ITERATIVE-FORALL " + ((FloatWrapper)(KeyValueList.dynamicSlotValue(((QueryIterator)(Logic.$QUERYITERATOR$.get())).dynamicSlots, Logic.SYM_LOGIC_LATEST_POSITIVE_SCORE, Stella.NULL_FLOAT_WRAPPER))).wrapperValue);
      }
      if (((FloatWrapper)(KeyValueList.dynamicSlotValue(((QueryIterator)(Logic.$QUERYITERATOR$.get())).dynamicSlots, Logic.SYM_LOGIC_LATEST_POSITIVE_SCORE, Stella.NULL_FLOAT_WRAPPER))).wrapperValue < 0.9) {
        lastmove = Logic.KWD_UP_FAIL;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + lastmove + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    return (lastmove);
  }