Assertion list
hardening (primary) → HasProperty
Results from Ascent++: 3
hardening → HasProperty → partial 0.41
hardening → HasProperty → temporary 0.22
hardening → HasProperty → easier 0.16