Assertion list
suspension bridge (subgroup of bridge ) → HasProperty
Results from Ascent++: 2
suspension bridge → HasProperty → open 0.39
suspension bridge → HasProperty → the longest 0.25