Correzione da apportare al type check delel query
Bisognerebbe avere una data type per la contruzione di termini delle query in un file a parte chiamato "Evaluator". Il parser dai Token generati dal lexer dovrebbe comporre un Termine in questo nuovo data type. I costruttori del Termini e' descritto a pagina 19 della tesi di Leinberger. Una volta ottenuto un termine si procede al suo typecheck generando gli assiomi secondo le regole descritte a pagina 58 della tesi di Leinberger. solo dopo si procede a richiamare java e il reasoner. tutti i passaggi dalla generazione delgli assiomi alla valutazioni non sono da fare del parser (il compito del parser e' solo passare da Token a termini). e' molto importante seguire bene le regole di tipo descritte nella tesi per mantenere la soundness del sistema ti tipi.