| Application element | MIM element | Source | Rules | Reference Path |
| Finite_real_interval | finite_real_interval | 50 | ||
| hibnd | finite_real_interval.max | 50 | finite_real_interval finite_real_interval.max |
|
| hiclosure | finite_real_interval.max_closure | 50 | finite_real_interval finite_real_interval.max_closure |
|
| lobnd | finite_real_interval.min | 50 | finite_real_interval finite_real_interval.min |
|
| loclosure | finite_real_interval.min_closure | 50 | finite_real_interval finite_real_interval.min_closure |