Assertion list
cantilever bridge (primary) → IsA
Results from Ascent++: 1
cantilever bridge → IsA → bridge 0.81