Assertion list
centrifuge (primary) → IsA
Results from Ascent++: 1
centrifuge → IsA → machine 0.68