Assertion list
step parent (subgroup of parent ) → HasA

Results from Ascent++: 1
step parentHasA right 0.25