Assertion list
recess (primary) → IsA
Results from Ascent++: 1
recess → IsA → necessary break 0.39