Assertion list
rewrite (primary) → HasProperty
Results from Ascent++: 2
rewrite → HasProperty → necessary 0.68
rewrite → HasProperty → possible 0.27