Assertion list
head (aspect of racket ) → HasProperty
Results from Ascent++: 2
head → HasProperty → heavier 0.68
head → HasProperty → small 0.54