Assertion list
child (aspect of node ) → CapableOf
Results from Ascent++: 1
child → CapableOf → rely on linear strategy 0.68