Dependency Graph for premise 1.3.5