-typeof <URI> : mostra il tipo dell'oggetto indicato
non riconosce tipi induttivi e prove incomplete
-levels <indice> : mostra l'attribuzione dei livelli
-typeof <URI> : mostra il tipo dell'oggetto indicato
non riconosce tipi induttivi e prove incomplete
-levels <indice> : mostra l'attribuzione dei livelli