The dependency graph command is applicable to a variable declaration. It displays a graph, in the proof tree window, of the declarations used by the inspected variable's declaration, both directly and indirectly.