Assertion list
root node (subgroup of node ) → IsA
Results from Ascent++: 1
root node → IsA → node 0.68