| Application element | MIM element | Source | Rules | Reference Path |
| Lobounded_real_interval | real_interval_from_min | 50 | ||
| lobnd | real_interval_from_min.min | 50 | real_interval_from_min real_interval_from_min.min |
|
| loclosure | real_interval_from_min.min_closure | 50 | real_interval_from_min real_interval_from_min.min_closure |