Assertion list
height (aspect of pyramid ) → ReceivesAction

Results from Ascent++: 1
heightReceivesAction taken as the radius of a circle 0.25