Assertion list
dehydration (primary) → HasA
Results from Ascent++: 1
dehydration → HasA → water 0.48