Assertion list
steeple (primary) → IsA
Results from Ascent++: 1
steeple → IsA → tall tower 0.68