1 DEFAULT
1 (
1.1+ ,
1.1 case_value
1.1 low_case_value : high_case_value
1.1 low_case_value :
1.1 : high_case_value
1.2 )