Assertion list
weight (aspect of racket ) → AtLocation
Results from Ascent++: 1
weight → AtLocation → the bottom of the frame 0.38