Assertion list
canoe (primary) → IsA
Results from Ascent++: 1
canoe → IsA → powered boat 0.25