Assertion list
catamaran (primary) → IsA
Results from Ascent++: 2
catamaran → IsA → boat 0.52
catamaran → IsA → perfect boat 0.27