grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion) |--> dumpable | | |--> nciclibrary | unif_hint |--> grafiteparser -> lexicon -> ... | |-> interpretation |-> termcontentpres |-> notation_parser applytransformation | |-> ntermciccontent = nciccoercion+interpretation | | | unif_hint | |-> termcontentpres