Parametrize "show" so that only the root of tree showing the combination is shown
Parametrize "show" so that only the root of the tree showing the derivation is shown.
Parametrize "show" so that only the root of the tree showing the derivation is shown.