matita/components/statuses.txt

   1 grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
   2            |--> dumpable                                    |             |
   3            |--> nciclibrary                                 |       unif_hint
   4            |--> grafiteparser -> lexicon -> ...             |
   5                                                             |-> interpretation
   6                                                             |-> termcontentpres
   7                                                             |-> notation_parser
   8
   9
  10 ntermciccontent = nciccoercion+interpretation
  11                        |
  12                   unif_hint
  13
  14 applytransformation = ntermciccontent+termcontentpres