Using the Goal Tree

The Goal Tree is the pane of the CPL where the goals in the current derivation are displayed.