| Application element | MIM element | Source | Rules | Reference Path |
| Finite_integer_interval | finite_integer _interval | 50 | ||
| hibnd | finite_integer_interval.max | 50 | finite_integer_interval finite_integer_interval.max |
|
| lobnd | finite_integer_interval.min | 50 | finite_integer_interval finite_integer_interval.min |