final public void theoryTerm() throws ParseException {
    if (jj_2_5(7)) {
      setLiteralVariable();
    } else if (jj_2_6(7)) {
      modeConversionRules();
    } else if (jj_2_7(7)) {
      superiority();
    } else if (jj_2_8(7)) {
      rule();
    } else if (jj_2_9(7)) {
      jj_consume_token(EOL);
    } else {
      jj_consume_token(-1);
      throw new ParseException();
    }
  }