Assertion list
use (aspect of saccharin ) → HasProperty

Results from Ascent++: 1
useHasProperty hazardous 0.59