Assertion list
child (aspect of widow ) → IsA
Results from Ascent++: 1
child → IsA → adult 0.25