Assertion list
body (aspect of diver ) → HasA
Results from Ascent++: 1
body → HasA → dissolved air 0.25