[logic-ml] RIMS