Assertion list
destroyer (primary) → IsA
Results from Ascent++: 1
destroyer → IsA → the two ships 0.34