Assertion list
tower (aspect of cathedral ) → IsA

Results from Ascent++: 1
towerIsA the tallest structures 0.21