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