* @param continuingP
   * @param terminalP
   * @return Keyword
   */
  public static Keyword selectProofResult(boolean successP, boolean continuingP, boolean terminalP) {
    return ((successP ? ((continuingP ? Logic.KWD_CONTINUING_SUCCESS : Logic.KWD_FINAL_SUCCESS)) : ((terminalP ? Logic.KWD_TERMINAL_FAILURE : Logic.KWD_FAILURE))));
  }