Assertion list
child (aspect of elder ) → HasA
Results from Ascent++: 1
child → HasA → the privilege 0.16