Click on nodes to toggle children. Red nodes are negations of their parents. Press up or down (arrow keys) to toggle back to the root node. This is not all of the queries, but a subset. This shows our queries not all our extracted claims.