Converted itno_disjunct_alists to meta-logic style.