Assertion list
interim (primary) → HasProperty
Results from Ascent++: 1
interim → HasProperty → current 0.68