Assertion list
chaff (primary) → HasProperty
Results from Ascent++: 3
chaff → HasProperty → light 0.55
chaff → HasProperty → worthless 0.50
chaff → HasProperty → useful 0.23