Assertion list
sailboat (primary) → DefinedAs
Results from Ascent++: 3
sailboat → DefinedAs → hull configuration 0.48
sailboat → DefinedAs → keel type 0.31
sailboat → DefinedAs → use 0.25