Assertion list
lathe (primary) → IsA
Results from Ascent++: 2
lathe → IsA → a machine tool 0.64
lathe → IsA → the oldest machine tool 0.35