A rigorous formal description of the intended behaviour of a compositional terminology, a 'third generation' system, enables powerful semantic processing techniques to assist in the building of a large terminology. Use of an intermediate representation derived from such a formalism, but simplified to resemble a 'second generation' system, enables authors to work in an simpler and more familiar ...