Assertion list
metal lathe (subgroup of lathe ) → IsA
Results from Ascent++: 1
metal lathe → IsA → large class of lathes 0.68