Sorts in Qualitative Reasoning

According to the principles of Qualitative Reasoning physical systems are represented by deep models (component or process oriented) and are simulated on the basis of the models, either by interpretation of the models or by envisioning. Models of Qualitative Reasoning can be conceived as logical theories, but not as arbitrary ones, rather as theories that have models in the model theoretic sense. Sorts are an integral part of Qualitative Reasoning models, although in the existing approaches only slight attention is pasid to this feature. So sorts can be used to guide the construction of composite models from primitive ones and to specify models.