Assertion list
use (aspect of aspartame ) → HasProperty

Results from Ascent++: 2
useHasProperty hazardous 0.46
useHasProperty safe 0.38