Assertion list
head (aspect of diver ) → ReceivesAction
Results from Ascent++: 1
head → ReceivesAction → above sea level 0.34