Assertion list
warship (primary) → AtLocation
Results from Ascent++: 1
warship → AtLocation → the region 0.31