Assertion list
free sugar (subgroup of sugar ) → HasProperty

Results from Ascent++: 1
free sugarHasProperty bad 0.16