The category "<point_id-checkpoint>" can be expressed as follows:

<point_id-checkpoint>

<digit-not_zero>

<digit-not_zero> <digit>