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

      { PartialMatchFrame pmf = self.partialMatchFrame;

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