| Application element | MIM element | Source | Rules | Reference Path |
| Hibounded_real_interval | real_interval_to_max | 50 | ||
| hibnd | real_interval_to_max.max | 50 | real_interval_to_max real_interval_to_max.max |
|
| hiclosure | real_interval_to_max.max_closure | 50 | real_interval_to_max real_interval_to_max.max_closure |