public Keyword continuePartialStrategiesProofs(Keyword lastmove) {
    { ControlFrame self = this;

      if (self.currentStrategy == Logic.KWD_FULL_SUBQUERY) {
        return (ControlFrame.continueStrategiesProofs(self, lastmove));
      }
      { PartialMatchFrame pmf = self.partialMatchFrame;

        if (pmf == null) {
          ControlFrame.createAndLinkPartialMatchFrame(self, Logic.KWD_ATOMIC_GOAL);
        }
        return (self.partialMatchFrame.continuePartialStrategiesProofs(lastmove));
      }
    }
  }