Assertion list
machine (primary) → IsA
Results from Ascent++: 2
machine → IsA → tool 0.63
machine → IsA → device 0.58