Assertion list
root node (subgroup of node ) → HasProperty
Results from Ascent++: 1
root node → HasProperty → null 0.25