Assertion list
data node (subgroup of node ) → HasProperty

Results from Ascent++: 1
data nodeHasProperty full 0.25