On generality and problem solving: a case study using the DENDRAL program