Assertion list
gateway arch (subgroup of arch ) → IsA
Results from Ascent++: 1
gateway arch → IsA → the world’s tallest arch 0.59