Assertion list
schooner (primary) → IsA
Results from Ascent++: 1
schooner → IsA → fast, nimble ships 0.25