uso del tool topLevel

Il tool e` un interfaccia testuale per mQueryGenerator che prende dati
dallo stdin e restituisce l'output su stdout in formato html.
L'input puo' contenere piu' di un termine CIC (usare ; per separare).

Sintassi: topLevel <opzioni> 

Opzioni : -display            : mostra solo i termini CIC nell'input
          -typeof <URI>       : mostra il tipo dell'oggetto indicato
	                        non riconosce tipi induttivi e prove incomplete
          -levels <indice>    : mostra l'attribuzione dei livelli
          -locate <nome>      : invocazione di Locate
          -backward <indice>  : invocazione di Backward
	  -mbackward <indice> : invoca le Backward con indice da <indice> a 0

le opzioni si possono anche scrivere -d -t -l -L -B e -MB nell'ordine.