A web interface to see expanded nodes in the reasoning:

In a table we see the ancestors and immediate children, together with lots of details: