a pragmatic proposal for linking theory and data in the social sciences .
dendral : a case study of the first expert system for scientific hypothesis formation .