Assertion list
windsock (primary) → HasProperty
Results from Ascent++: 1
windsock → HasProperty → useful 0.59