Assertion list
workbench (primary) → IsA
Results from Ascent++: 1
workbench → IsA → table 0.38