RI.indiscernibilityBasedRules.RST function

Rule induction from indiscernibility classes.