Assertion list
weight (aspect of racket ) → HasProperty
Results from Ascent++: 1
weight → HasProperty → heavy 0.25