public static void recordOrIntroductionJustification(ControlFrame frame, Keyword lastmove) {
    { ControlFrame disjunct = frame.result;

      if (lastmove == Logic.KWD_UP_TRUE) {
        { Justification self000 = Justification.newJustification();

          self000.inferenceRule = Logic.KWD_OR_INTRODUCTION;
          self000.antecedents = Cons.cons(((Justification)(KeyValueList.dynamicSlotValue(disjunct.dynamicSlots, Logic.SYM_LOGIC_JUSTIFICATION, null))), Stella.NIL);
          ControlFrame.recordGoalJustification(frame, self000);
        }
      }
      else {
      }
    }
  }