Dependency Graph for tptp 0.0.3.dev2