Assertion list
cantilever (primary) → IsA
Results from Ascent++: 1
cantilever → IsA → beam 0.68