Assertion list
yacht (primary) → DefinedAs
Results from Ascent++: 2
yacht → DefinedAs → light, fast sailing vessel 0.25
yacht → DefinedAs → princess 0.25