Assertion list
tv tower (subgroup of tower ) → IsA
Results from Ascent++: 1
tv tower → IsA → the tallest building 0.59