Dependency Graph for premise 1.1.1