Assertion list
abused child (subgroup of child ) → HasProperty
Results from Ascent++: 1
abused child → HasProperty → safe 0.41