Assertion list
tower (aspect of bridge ) → HasA
Results from Ascent++: 1
tower → HasA → 118 floors 0.25