public static void recordNegatedFailJustification(ControlFrame frame, Keyword lastmove) {
    if (lastmove == Logic.KWD_UP_TRUE) {
      { Justification antecedent = null;

        if (frame.result != null) {
          antecedent = ((Justification)(KeyValueList.dynamicSlotValue(frame.result.dynamicSlots, Logic.SYM_LOGIC_JUSTIFICATION, null)));
        }
        { Justification self000 = Justification.newJustification();

          self000.inferenceRule = Logic.KWD_NEGATED_FAIL;
          self000.antecedents = Cons.cons(antecedent, Stella.NIL);
          ControlFrame.recordGoalJustification(frame, self000);
        }
      }
    }
    else {
    }
  }