Assertion list
machine tool (primary) → IsA
Results from Ascent++: 1
machine tool → IsA → machine 0.83