final public void choice() throws ParseException {
    if (jj_2_50(2147483647)) {
      simple_expression();
    } else if (jj_2_51(2147483647)) {
      range();
    } else {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case OTHERS:
        jj_consume_token(OTHERS);
        break;
      default:
        jj_la1[139] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
  }