Assertion list
vise (primary) → IsA
Results from Ascent++: 2
vise → IsA → tool 0.36
vise → IsA → the best tool 0.16