Assertion list
cantilever bridge (primary) → HasProperty

Results from Ascent++: 1
cantilever bridgeHasProperty the other 0.25