Assertion list
destroyer (primary) → AtLocation
Results from Ascent++: 2
destroyer → AtLocation → sea 0.40
destroyer → AtLocation → port 0.25