Assertion list
reverse (primary) → HasProperty
Results from Ascent++: 1
reverse → HasProperty → true 0.64