A key point in the CMD-problems is that the universe to be specified is not an example from a textbook but a piece of reality like a bank or an airport. In addition, the specification has to be somehow extracted from multiple, very informal and often hardly consistent descriptions provided by different people. Moreover, as the process of information system design is going on, and mutual underst...