Assertion list
height (aspect of tower ) → HasProperty
Results from Ascent++: 3
height → HasProperty → necessary 0.44
height → HasProperty → great 0.33
height → HasProperty → adjustable 0.25