!--a11y-->
timestamp_spec
<
timestamp_spec
> ::=
TIMESTAMP <standard_timestamp_mask>
| TIMESTAMP '<valFREE_MASK>'