The CAT framework (. Arnold et a]. 1986) was meant to be an anTheoretical research in the area of machine translation usu- swer to the same question, this time for a transfer system, ally involves the search for and creation of an appropriate viz. the Eurotra system. The MiMo formalism is a reformalism. An important issue in this respect is the way in action to the CAT framework and tries to solve several which the compositionality of translation is to be defined. translation problems by formulating an alternative definiIn this paper, we will introduce the anaphoric component tion of.