Apply df_ordt__df_xrs__df_qtop__df_imas__df_qus__df_xps__df_mre__df_mrc__df_mri__df_acs__df_cat__df_cid__df_homf__df_comf__df_oppc__df_mon__df_epi__df_sect with
wceq cmrc (cmpt (λ x0 . cuni (crn cmre)) (λ x0 . cmpt (λ x1 . cpw (cuni (cv x0))) (λ x1 . cint (crab (λ x2 . wss (cv x1) (cv x2)) (λ x2 . cv x0))))).