Assertion list
height (aspect of tree ) → IsA
Results from Ascent++: 1
height → IsA → less than the total distance 0.25