On Generality and Problem Solving: A Case Study Using the DENDRAL Program