Assertion list
artificial heart (primary) → IsA
Results from Ascent++: 1
artificial heart → IsA → device 0.65