3 Il tool e` un interfaccia testuale per mQueryGenerator che prende dati
4 dallo stdin e restituisce l'output su stdout in formato html.
5 L'input puo' contenere piu' di un termine CIC (usare ; per separare).
7 Sintassi: topLevel <opzioni>
9 Opzioni : -display : mostra solo i termini CIC nell'input
10 -typeof <URI> : mostra il tipo dell'oggetto indicato
11 non riconosce tipi induttivi e prove incomplete
12 -levels <indice> : mostra l'attribuzione dei livelli
13 -locate <nome> : invocazione di Locate
14 -backward <indice> : invocazione di Backward
15 -mbackward <indice> : invoca le Backward con indice da <indice> a 0
17 le opzioni si possono anche scrivere -d -t -l -L -B e -MB nell'ordine.