Assertion list
admiral (primary) → AtLocation
Results from Ascent++: 1
admiral → AtLocation → middle portion of the fleet 0.38