Assertion list
reproach (primary) → HasProperty
Results from Ascent++: 1
reproach → HasProperty → real 0.31