US8515733B2 - Method, Device, Computer Program and Computer Program Product for Processing Linguistic Data in Accordance with a Formalized Natural Language