This chapter contains sections titled: Intelligent Support Systems for Analysis, The Prototype Testbed, Reasoning in frames systems, Extending the Model, References