19. A computer implemented method as in claim 1 , further comprising the step of assigning formulations of logical and mathematical properties to specialized word, identifier or symbol occurring inside said formally verified distinction model.
19. A computer implemented method as in claim 1 , further comprising the step of assigning formulations of logical and mathematical properties to specialized word, identifier or symbol occurring inside said formally verified distinction model. 20. A computer implemented method as in claim 19 , further comprising the steps of: calculating precise formulations in natural language from well-founded indications by performing at least one of the steps of substituting variables symbols and replacing constants symbols to transform imprecise formulations into precise formulations.