Sintassi: topLevel <opzioni>
-Opzioni : -locate <nome> : invocazione do Locate
- -backward <indice> : invocazione di Backward
- -show : mostra solo i termini CIC nell'input
- -test <indice> : mostra l'attribuzione dei livelli per
- la backward, ma non la esegue
+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
+ -restricted : non usa il db: vanno solo -d -t -l
+ -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 -l -b -s e -t
\ No newline at end of file
+le opzioni si possono anche scrivere -d -t -l -r -L -B e -MB nell'ordine.