timestamp_spec

<timestamp_spec> ::=
  TIMESTAMP <
standard_timestamp_mask>
| TIMESTAMP '<
free_mask_timestamp>'