Text this: The development of an expert system shell with a mixed knowledge representation, explicit control of reasoning and a truth maintenance system