Assertion list
width (aspect of rectangle ) → ReceivesAction
Results from Ascent++: 2
width → ReceivesAction → increased in direction 0.25
width → ReceivesAction → specified by the dimension argu… 0.25