Assertion list
clearing (primary) → HasProperty
Results from Ascent++: 1
clearing → HasProperty → necessary 0.31