public static void recordExistentialIntroductionJustification(ControlFrame frame, Keyword lastmove) {
    { ControlFrame argument = frame.result;

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

          self000.inferenceRule = Logic.KWD_EXISTENTIAL_INTRODUCTION;
          self000.antecedents = ((((Justification)(KeyValueList.dynamicSlotValue(argument.dynamicSlots, Logic.SYM_LOGIC_JUSTIFICATION, null))) != null) ? Cons.cons(((Justification)(KeyValueList.dynamicSlotValue(argument.dynamicSlots, Logic.SYM_LOGIC_JUSTIFICATION, null))), Stella.NIL) : Stella.NIL);
          ControlFrame.recordGoalJustification(frame, self000);
        }
      }
      else {
      }
    }
  }