-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
+ -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 -d -t -l -L -B e -MB nell'ordine.
+le opzioni si possono anche scrivere -d -t -l -r -L -B e -MB nell'ordine.