Assertion list
watch (aspect of diver ) → AtLocation

Results from Ascent++: 1
watchAtLocation full reserve 0.25