On Generality and Problem Solving : a Case Study Using the Dendral Program. AIM-131