Rule_induction loading ...