Assertion list
aircraft carrier (primary) → IsA
Results from Ascent++: 2
aircraft carrier → IsA → warship 0.68
aircraft carrier → IsA → the largest ships 0.25