public void traceFramePartialTruth(Keyword lastmove, OutputStream stream) {
    { PartialMatchFrame self = this;

      { double weight = self.propositionWeight(self.controlFrame.proposition);

        if (lastmove == Logic.KWD_DOWN) {
          { double cutoff = self.computeDynamicCutoff();

            if (cutoff != Stella.NULL_FLOAT) {
              stream.nativeStream.print("cutoff=" + cutoff);
            }
          }
        }
        else if ((lastmove == Logic.KWD_UP_TRUE) ||
            (lastmove == Logic.KWD_UP_FAIL)) {
          { double score = self.positiveScore;

            stream.nativeStream.print("score=" + score);
            if ((weight != Stella.NULL_FLOAT) &&
                (!(weight == 1.0))) {
              stream.nativeStream.print(" weight=" + weight);
            }
          }
        }
        else {
        }
      }
    }
  }