The Knowledge Acquisition and Representation Language, KARL 197,90 EUR*