Assertion list
hoe (primary) → IsA
Results from Ascent++: 1
hoe → IsA → tool 0.36