Assertion list
display (primary) → IsA
Results from Ascent++: 1
display → IsA → on show 0.25