Assertion list
lever (primary) → IsA
Results from Ascent++: 4
lever → IsA → simple machine 0.49
lever → IsA → bar 0.43
lever → IsA → rigid bar 0.42
lever → IsA → tool 0.30