Assertion list
aircraft carrier (primary) → AtLocation
Results from Ascent++: 4
aircraft carrier → AtLocation → sea 0.42
aircraft carrier → AtLocation → hong kong 0.31
aircraft carrier → AtLocation → port 0.27
aircraft carrier → AtLocation → the persian gulf 0.25