mdcst_kanren_DMDreha2019