Assertion list
seed (aspect of huckleberry ) → HasProperty
Results from Ascent++: 1
seed → HasProperty → tiny 0.65