RL4: a tool for knowledge-based induction