helm/gTopLevel/topLevel/Readme

   1 uso del tool topLevel
   2
   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).
   6
   7 Sintassi: topLevel <opzioni>
   8
   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
  16
  17 le opzioni si possono anche scrivere -d -t -l -L -B e -MB nell'ordine.