Assertion list
wisp (primary) → HasProperty
Results from Ascent++: 2
wisp → HasProperty → small 0.29
wisp → HasProperty → easy 0.16