Assertion list
base (aspect of tower ) → HasProperty
Results from Ascent++: 3
base → HasProperty → square 0.68
base → HasProperty → visible 0.36
base → HasProperty → wide 0.36