An experiment in automatic induction