Assertion list
tower (aspect of cathedral ) → HasProperty
Results from Ascent++: 5
tower → HasProperty → open 0.66
tower → HasProperty → safe 0.52
tower → HasProperty → high 0.34
tower → HasProperty → accessible 0.21
tower → HasProperty → visible 0.21