Assertion list
child (aspect of slave ) → HasProperty
Results from Ascent++: 2
child → HasProperty → free 0.81
child → HasProperty → old 0.25