The Hierarchy tab shows the query and all of the rules that are involved during evaluation in a tree structure. The Internal axioms are also displayed here:

The Graph tab displays the same information in a graph: