Assertion list
sumo (primary) → HasProperty
Results from Ascent++: 2
sumo → HasProperty → useful 0.51
sumo → HasProperty → free 0.25