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