Assertion list
pedestrian bridge (subgroup of bridge ) → IsA
Results from Ascent++: 1
pedestrian bridge → IsA → bridge 0.25