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