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