final public void attribute_specification() throws ParseException {
    jj_consume_token(ATTRIBUTE);
    identifier();
    jj_consume_token(OF);
    entity_specification();
    jj_consume_token(IS);
    expression();
    jj_consume_token(SEMICOLON);
  }