Assertion list
woof (primary) → HasProperty
Results from Ascent++: 1
woof → HasProperty → clean 0.68