Assertion list
inner child (subgroup of child ) → CapableOf
Results from Ascent++: 1
inner child → CapableOf → remain mired 0.59