Assertion list
abacus (primary) → IsA
Results from Ascent++: 2
abacus → IsA → device 0.40
abacus → IsA → calculator 0.30