Assertion list
sailboat (primary) → IsA
Results from Ascent++: 1
sailboat → IsA → boat 0.55