1 grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
3 |--> nciclibrary | unif_hint
5 interpretation + termcontentpres = cicnotation
11 ntermciccontent = nciccoercion+interpretation
15 applytransformation = ntermciccontent+termcontentpres