The part of Quaestor that controls the communication between the user and the system and performs the reasoning steps and knowledge base queries involved in the model assembling process.