Assertion list
new bridge (subgroup of bridge ) → IsA
Results from Ascent++: 4
new bridge → IsA → under construction 0.41
new bridge → IsA → longer 0.33
new bridge → IsA → the charles bridge 0.28
new bridge → IsA → four lanes 0.25