This paper aims to describe an extension of the SAREL system (Assistance System for Writing Software Specification in Natural Language) whose main goal is to improve the specification phase. The initial purpose of SAREL was to assist engineers in the creation of software specification written in natural language. At present the functionality of the system is twofold: vertical processing and horizontal processing. In vertical processing the input is a software specification written in natural language and the output is the conceptual representation associated. In this case the system validates every requirement taking into account the writing norms and the quality properties. The conceptual representation can be used to check the software quality factors. Working in horizontal processing the input is two different conceptual representations and the output is the information about the correspondence between them.