Assertion list
child (aspect of widow ) → HasA
Results from Ascent++: 1
child → HasA → right 0.41