Assertion list
child node (subgroup of node ) → HasA
Results from Ascent++: 1
child node → HasA → two or more parent nodes 0.42