grafitetypes |--> dumpable |--> nciclibrary |--> grafiteparser --> notation_parser |--> tac |--> auto |--> eq |--> lexicon |--> interpretation --> nciccoercion --> unif_hint |--> termcontentpres