Assertion list
heavy water (primary) → HasA
Results from Ascent++: 1
heavy water → HasA → deuterium 0.54