Assertion list
fifty (primary) → HasProperty
Results from Ascent++: 1
fifty → HasProperty → fun 0.59