Assertion list
hoist (primary) → IsA
Results from Ascent++: 1
hoist → IsA → device 0.75