Assertion list
rinse (primary) → HasProperty
Results from Ascent++: 2
rinse → HasProperty → effective 0.57
rinse → HasProperty → fine 0.39