Assertion list
crowbar (primary) → IsA
Results from Ascent++: 1
crowbar → IsA → tool 0.68