Assertion list
pure ethanol (subgroup of ethanol ) → DefinedAs

Results from Ascent++: 1
pure ethanolDefinedAs 200 proof 0.68