Assertion list
tower (aspect of cathedral ) → HasA
Results from Ascent++: 1
tower → HasA → spire 0.46