Assertion list
battleship (primary) → IsA
Results from Ascent++: 1
battleship → IsA → large armored warship 0.51