Assertion list
heavy water (primary) → IsA
Results from Ascent++: 1
heavy water → IsA → water 0.64