Assertion list
cable stayed bridge (subgroup of bridge ) → IsA
Results from Ascent++: 1
cable stayed bridge → IsA → bridge 0.68