Assertion list
buddy (aspect of diver ) → CapableOf
Results from Ascent++: 1
buddy → CapableOf → remain on the surface 0.25