Assertion list
plasma cutter (subgroup of cutter ) → IsA
Results from Ascent++: 1
plasma cutter → IsA → tool 0.68