El objetivo de la investigación es semi-automatizar el proceso de generación de especificaciones formales a partir de contratos legales en forma de texto en lenguaje natural. Con este fin, el documento presenta una herramienta, llamada ContrattoA, que realiza de manera semi-automática la anotación semántica del texto de contratos legales utilizando una ontología para contratos legales. ContrattoA se desarrolló a través de dos iteraciones en las que se definieron patrones léxicos para conceptos legales y se evaluó su efectividad con experimentos. La primera iteración se basó en un puñado de contratos de muestra y resultó en la definición de patrones léxicos para reconocer conceptos en la ontología; estos se evaluaron con un estudio empírico en el que a un grupo de sujetos se les pidió que anotaran el texto legal manualmente, mientras que un segundo grupo editó las anotaciones generadas por ContrattoA. La segunda iteración se centró en los patrones léxicos para los conceptos centrales del contrato de obligación y poder, donde los resultados de la primera iteración fueron mixtos. Sobre la base de un conjunto ampliado de contratos de muestra, se derivaron nuevos patrones léxicos que demostraron mejorar sustancialmente el rendimiento de ContrattoA, acercándose en calidad al rendimiento de los expertos. Los experimentos sugieren que se pueden generar anotaciones de buena calidad para una amplia gama de contratos con ligeras refinaciones a los patrones léxicos.