The rules that use the category "<digit_zero_to_seven>" are:

<degree_number-180-pl>

<digit-1> <digit_zero_to_seven> <digit>