Assertion list
shear (primary) → IsA
Results from Ascent++: 1
shear → IsA → the tool 0.16