Assertion list
nod (primary) → HasProperty
Results from Ascent++: 2
nod → HasProperty → good 0.50
nod → HasProperty → new 0.25