Assertion list
old timer (primary) → HasProperty
Results from Ascent++: 1
old timer → HasProperty → right 0.71