Assertion list
battleship (primary) → AtLocation
Results from Ascent++: 2
battleship → AtLocation → the center of the photograph 0.25
battleship → AtLocation → turn 0.25