Assertion list
cable stayed bridge (subgroup of bridge ) → HasA

Results from Ascent++: 1
cable stayed bridgeHasA one or more towers 0.25