Assertion list
lift (primary) → IsA
Results from Ascent++: 2
lift → IsA → device 0.27
lift → IsA → mechanical devices 0.25