Assertion list
resolution image (subgroup of image ) → ReceivesAction
Results from Ascent++: 3
resolution image → ReceivesAction → downloaded 0.25
resolution image → ReceivesAction → formed 0.25
resolution image → ReceivesAction → taken before closest approach 0.22