Assertion list
acetone (primary) → HasA

Results from Ascent++: 1
acetoneHasA the formula 0.25