Assertion list
child actor (subgroup of actor ) → HasProperty
Results from Ascent++: 1
child actor → HasProperty → good 0.59