public static Keyword oldInterpretGoalScores(ControlFrame frame, Keyword lastmove) {
    if (lastmove == Logic.KWD_DOWN) {
      { PartialMatchFrame pmf = frame.partialMatchFrame;

        if (pmf == null) {
          ControlFrame.createAndLinkPartialMatchFrame(frame, Logic.KWD_ATOMIC_GOAL);
        }
        else {
          pmf.setDynamicCutoff();
        }
      }
    }
    else if ((lastmove == Logic.KWD_UP_TRUE) ||
        (lastmove == Logic.KWD_UP_FAIL)) {
      if (Stella_Object.traceKeywordP(Logic.KWD_GOAL_TREE)) {
        System.out.println(((FloatWrapper)(KeyValueList.dynamicSlotValue(((QueryIterator)(Logic.$QUERYITERATOR$.get())).dynamicSlots, Logic.SYM_LOGIC_LATEST_POSITIVE_SCORE, Stella.NULL_FLOAT_WRAPPER))).wrapperValue);
      }
      if ((frame.currentStrategy == Logic.KWD_FULL_SUBQUERY) ||
          (frame.currentStrategy == Logic.KWD_ANTECEDENTS)) {
        ControlFrame.recordLatestPartialMatchScore(frame);
        if (ControlFrame.computePartialMatchOrSuccessP(frame) &&
            (!ControlFrame.unboundVariablesInFrameP(frame))) {
          lastmove = Logic.KWD_UP_TRUE;
        }
        else if (((Iterator)(KeyValueList.dynamicSlotValue(frame.dynamicSlots, Logic.SYM_STELLA_ITERATOR, null))).emptyP() &&
            ((!ControlFrame.unboundVariablesInFrameP(frame)) &&
             ControlFrame.computePartialMatchScoreP(frame))) {
          lastmove = Logic.KWD_UP_TRUE;
        }
        else {
          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()));
      }
    }
    ControlFrame.attachSupport(frame, lastmove);
    if ((lastmove == Logic.KWD_UP_FAIL) &&
        (frame.down != null)) {
      frame.down = null;
    }
    { Keyword result = ControlFrame.continueStrategiesProofs(frame, lastmove);

      if ((result == Logic.KWD_FAILURE) &&
          ControlFrame.computePartialMatchScoreP(frame)) {
        lastmove = Logic.KWD_UP_TRUE;
        return (Logic.KWD_FINAL_SUCCESS);
      }
      else {
        return (result);
      }
    }
  }