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