matita/components/statuses.txt

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