Assertion list
corvette (primary) → IsA
Results from Ascent++: 1
corvette → IsA → small, maneuverable, armed wars… 0.25