Assertion list
ax (primary) → IsA
Results from Ascent++: 1
ax → IsA → tool 0.42